2596 search results - page 96 / 520 » Gradual Typing for Objects |
124
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In many Web search applications, similarities between objects of one type (say, queries) can be affected by the similarities between their interrelated objects of another type (sa...
135
Voted
AMDO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
124
click to vote
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
139
Voted
VRST
2010
ACM
15 years 1 months ago
2010
ACM
Enabling users to accurately perceive the correct depth of occluded objects is one of the major challenges in user interfaces for Mixed Reality (MR). Therefore, several visualizat...
127
Voted
ICDIM
2008
IEEE
15 years 10 months ago
2008
IEEE
Digital Libraries maintain information lifecycles for the digital objects contained therein. Typically these information lifecycles stipulate that a digital object is deleted at t...