1350 search results - page 103 / 270 » Reasoning about Staged Computation |
156
click to vote
KI
2002
Springer
15 years 5 months ago
2002
Springer
In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [12]). However, i...
161
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
151
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Boundary detection constitutes a crucial step in many computer vision tasks. We present a novel learning approach to automatically construct a boundary detector for natural images...
150
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
151
click to vote
IJAOSE
2007
15 years 5 months ago
2007
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...