7452 search results - page 1265 / 1491 » A Semantics for Multiprocessor Systems |
213
click to vote
SIGIR
2005
ACM
16 years 23 days ago
2005
ACM
State-of-the-art question answering (QA) systems employ termdensity ranking to retrieve answer passages. Such methods often retrieve incorrect passages as relationships among ques...
208
click to vote
AOSE
2005
Springer
16 years 23 days ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
192
click to vote
APN
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
185
click to vote
BIRTHDAY
2005
Springer
16 years 23 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
207
click to vote
CICLING
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The purpose of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic pro...