933 search results - page 86 / 187 » A Fully Automatic hp-Adaptivity |
OOPSLA
2000
Springer
15 years 4 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
118
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
93
Voted
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Ultrasound has become a useful tool for speech scientists studying mechanisms of language sound production. State-of-the-art methods for extracting tongue contours from ultrasound...
139
click to vote
3DOR
2008
15 years 3 months ago
2008
Mesh analysis and clustering have became important issues in order to improve the efficiency of common processing operations like compression, watermarking or simplification. In t...
CICLING
2008
Springer
15 years 2 months ago
2008
Springer
This paper proposes a non-interactive system for reducing the level of OCR-induced typographical variation in large text collections, contemporary and historical. Text-Induced Corp...