1202 search results - page 84 / 241 » Sortings for Reactive Systems |
135
click to vote
JLP
2010
14 years 11 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
136
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
A system developed to demonstrate integration of a number of key research areas such as localization, recognition, visual tracking, visual servoing and grasping is presented toget...
130
click to vote
ROBOCUP
2001
Springer
15 years 8 months ago
2001
Springer
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
143
click to vote
IFIP12
2007
15 years 5 months ago
2007
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
125
click to vote
IJCAI
2007
15 years 5 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...