5599 search results - page 370 / 1120 » Abstract State Services |
197
click to vote
IEEEICCI
2008
IEEE
16 years 1 months ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
144
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— Speeding up robot motion provides not only improvement in operating efficiency but also improves dexterous manipulation by taking advantage of an unstable state or non...
155
click to vote
ICTAC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
175
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
157
click to vote
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...