2596 search results - page 208 / 520 » Gradual Typing for Objects |
132
click to vote
TABLETOP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a new type of tabletop interface on Lumisight Table. Putting physical objects on a tabletop display is one of the typical methods for intuitive tangible input....
138
click to vote
ECML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
146
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
130
click to vote
SSD
1999
Springer
15 years 8 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
131
click to vote
SSDBM
1998
IEEE
15 years 8 months ago
1998
IEEE
: A new issue that arises in modern applications involves the efficient manipulation of (static or moving) spatial objects, and the relationships among them. As a result, modern da...