2490 search results - page 240 / 498 » Complexity of Contextual Reasoning |
167
click to vote
RTSS
2008
IEEE
16 years 16 days ago
2008
IEEE
With the advent of increasingly complex hardware in realtime embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores), ...
157
Voted
IROS
2007
IEEE
16 years 13 days ago
2007
IEEE
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...
162
click to vote
VTC
2007
IEEE
16 years 12 days ago
2007
IEEE
Current Driver Assistance Systems merely use a minimum set of information. By using additional information of the environment hazardous situations can be detected earlier, more re...
136
click to vote
AGILE
2007
Springer
16 years 10 days ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
161
Voted
CSL
2007
Springer
16 years 9 days 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 ...