Sciweavers

4066 search results - page 61 / 814
» Almost Complete Sets
Sort
View
TSD
2009
Springer
14 years 2 months ago
Objective vs. Subjective Evaluation of Speakers with and without Complete Dentures
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...
Tino Haderlein, Tobias Bocklet, Andreas Maier, Elm...
ESA
1998
Springer
105views Algorithms» more  ESA 1998»
14 years 2 months ago
Maximizing Job Completions Online
We consider the problem of maximizingthe number of jobs completed by their deadlinein an online single processor system where the jobs are preemptable and have release times. So i...
Bala Kalyanasundaram, Kirk Pruhs
ECCV
2010
Springer
14 years 1 months ago
Exploiting Repetitive Object Patterns for Model Compression and Completion
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
ACSC
2004
IEEE
14 years 1 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
FASE
2008
Springer
13 years 11 months ago
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
Till Mossakowski, Lutz Schröder, Sergey Gonch...