11022 search results - page 459 / 2205 » Programming Systems for Autonomy |
189
click to vote
ICSEA
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
218
click to vote
ISORC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
201
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
186
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
180
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...