2214 search results - page 182 / 443 » Complexity of Reasoning |
146
Voted
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...
114
Voted
CSL
2000
Springer
15 years 8 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
118
Voted
GIS
1999
ACM
15 years 8 months ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...
132
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of in...
130
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...