1650 search results - page 244 / 330 » The HOM problem is decidable |
156
click to vote
CLEF
2007
Springer
16 years 15 days ago
2007
Springer
The Answer Validation Exercise at the Cross Language Evaluation Forum is aimed at developing systems able to decide whether the answer of a Question Answering system is correct or...
159
click to vote
FORMATS
2007
Springer
16 years 14 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
185
click to vote
LPNMR
2007
Springer
16 years 13 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
176
click to vote
MIDDLEWARE
2007
Springer
16 years 13 days ago
2007
Springer
The resource impoverished environment on mobile devices results in a poor experience for users browsing the World Wide Web. Proxy-based middleware that transform content on the fl...
142
click to vote
TACAS
2007
Springer
16 years 13 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...