2596 search results - page 150 / 520 » Gradual Typing for Objects |
108
Voted
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Recent progress in per-pixel object class labeling of natural images can be attributed to the use of multiple types of image features and sound statistical learning approaches. Wit...
131
click to vote
TSD
2009
Springer
15 years 8 months 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...
130
Voted
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
173
Voted
WISE
2000
Springer
15 years 8 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
115
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...