2162 search results - page 24 / 433 » Distributed Computation of Web Queries Using Automata |
149
click to vote
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
119
click to vote
COORDINATION
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
127
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
126
click to vote
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
There has been a lot of work on evaluating and improving the relevance of web search engines. In this paper, we suggest using human computation games to elicit data from players t...
142
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...