2596 search results - page 161 / 520 » Gradual Typing for Objects |
121
click to vote
HLK
2003
IEEE
15 years 9 months ago
2003
IEEE
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...
117
click to vote
ISMAR
2003
IEEE
15 years 9 months ago
2003
IEEE
Our purpose is to construct a new type interactive attraction which detects the user’s hand actions as triggers in a multi-participated mixed reality environment. “BLADESHIPSâ...
129
Voted
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
147
click to vote
ENDM
2010
15 years 4 months ago
2010
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...
140
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Semantic region labeling in outdoor scenes, e.g., identifying sky, grass, foliage, water, and snow, facilitates content-based image retrieval, organization, and enhancement. A maj...