1544 search results - page 294 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
DIGRA
2003
Springer
15 years 5 months ago
2003
Springer
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
101
click to vote
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
149
click to vote
GIS
2010
ACM
14 years 10 months ago
2010
ACM
The quality of a local search engine, such as Google and Bing Maps, heavily relies on its geographic datasets. Typically, these datasets are obtained from multiple sources, e.g., ...
100
click to vote
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...
111
click to vote
CADE
2009
Springer
16 years 9 days ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...