932 search results - page 42 / 187 » Verifying Progress in Timed Systems |
MICCAI
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. We present a computer vision system that automatically detects pulmonary nodules in computed tomography (CT) scans of oncology patients, performs size analysis and assess...
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
131
click to vote
DFG
1992
Springer
15 years 3 months ago
1992
Springer
Determining time necessary for computing important functions on parallel machines is one of the most important problems in complexity theory for parallel algorithms. Recently, a s...
190
click to vote
HCI
2011
14 years 3 months ago
2011
Almost 20% of big earthquakes in the world occur in Japan. It becomes impossible for private companies and governments to carry out their business if they suffer from severe damage...
107
click to vote
COCOON
2003
Springer
15 years 5 months ago
2003
Springer
Drugs and other chemical compounds are often modeled as polygonal shapes, where each vertex represents an atom of the molecule, and covalent bonds between atoms are represented by...