1980 search results - page 392 / 396 » Compositional Model Checking of Real Time Systems |
EDBT
2010
ACM
13 years 11 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
BMCBI
2010
13 years 7 months ago
2010
Background: Predicting metabolic sites is important in the drug discovery process to aid in rapid compound optimisation. No interactive tool exists and most of the useful tools ar...
HEURISTICS
2010
13 years 2 months ago
2010
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
ICDE
2012
IEEE
11 years 10 months ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
We present a system for fast model-based segmentation and 3D pose
estimation of specular objects using appearance based specular
features. We use observed (a) specular reflection...