6355 search results - page 1180 / 1271 » From Logic to Games |
192
click to vote
IWANN
2009
Springer
16 years 28 days ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
161
click to vote
MDM
2009
Springer
16 years 28 days ago
2009
Springer
—This paper assumes a set of n mobile sensors that move in the Euclidean plane as a swarm. Our objectives are to explore a given geographic region by detecting spatio-temporal ev...
174
click to vote
ISSTA
2009
ACM
16 years 27 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
152
click to vote
HICSS
2008
IEEE
16 years 25 days ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
179
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...