2596 search results - page 161 / 520 » Gradual Typing for Objects |
162
click to vote
HLK
2003
IEEE
15 years 11 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...
163
click to vote
ISMAR
2003
IEEE
15 years 11 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â...
163
click to vote
ECOOP
1999
Springer
15 years 10 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...
183
click to vote
ENDM
2010
15 years 6 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...
173
click to vote
ICMCS
2005
IEEE
16 years 20 hour 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...