4513 search results - page 292 / 903 » Modeling with a Sense of Purpose |
165
click to vote
DSVIS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. With the explosion of devices, computing platforms, contextual conditions, user interfaces become more confronted to a need to be adapted to multiple configurations of t...
196
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
161
click to vote
ICVGIP
2008
15 years 8 months ago
2008
The GPUs pack high computation power and a restricted architecture into easily available hardware today. They are now used as computation co-processors and come with programming m...
181
click to vote
PUK
2000
15 years 8 months ago
2000
This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
165
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...