933 search results - page 153 / 187 » A Fully Automatic hp-Adaptivity |
89
Voted
ICSE
2007
IEEE-ACM
16 years 16 days ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
96
Voted
MICCAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Computer aided detection (CAD) of colonic polyps in computed tomographic colonography has tremendously impacted colorectal cancer diagnosis using 3D medical imaging. It i...
SDM
2009
SIAM
15 years 9 months ago
2009
SIAM
The annotation of words and phrases by ontology concepts is extremely helpful for semantic interpretation. However many ontologies, e.g. WordNet, are too fine-grained and even hu...
87
Voted
EUROGRAPHICS
2010
Eurographics
15 years 9 months ago
2010
Eurographics
Synthesizing the movements of a responsive virtual character in the event of unexpected perturbations has proven a difficult challenge. To solve this problem, we devise a fully a...
81
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...