615 search results - page 12 / 123 » Completeness of Combinations of Constructor Systems |
TSD
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. For dento-oral rehabilitation of edentulous (toothless) patients, speech intelligibility is an important criterion. 28 persons read a standardized text once with and once...
LREC
2008
2008
All, and only, the Errors: more Complete and Consistent Spelling and OCR-Error Correction Evaluation
13 years 9 months ago
Some time in the future, some spelling error correction system will correct all the errors, and only the errors. We need evaluation metrics that will tell us when this has been ac...
TROB
2010
13 years 2 months ago
2010
This paper presents a visual-servoing method that is based on 2-D ultrasound (US) images. The main goal is to guide a robot actuating a 2-D US probe in order to reach a desired cro...
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
APLAS
2004
ACM
14 years 28 days ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...