108 search results - page 7 / 22 » Reasoning about Sensor Data for Automated System Identificat... |
112
click to vote
ICCAD
2007
IEEE
15 years 3 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
120
click to vote
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
Since sensor data gathering is the primary functionality of sensor networks, it is important to provide a fault tolerant method for reasoning about sensed events in the face of ar...
101
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
172
click to vote
SIGMOD
2009
ACM
15 years 12 months ago
2009
ACM
SQL tuning--the attempt to improve a poorly-performing execution plan produced by the database query optimizer-is a critical aspect of database performance tuning. Ironically, as ...