828 search results - page 109 / 166 » Modularity for Timed and Hybrid Systems |
100
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
The ground truth labeling of an image dataset is a task that often requires a large amount of human time and labor. We present an infrastructure for distributed human labeling tha...
164
click to vote
ICCV
2007
IEEE
15 years 5 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
100
click to vote
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
The use of X-ray CT images for CT-based attenuation correction (CTAC) of PET data results in the decrease of overall scanning time and creates a noise-free attenuation map (μmap)...
135
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
126
click to vote
STACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...