2596 search results - page 35 / 520 » Gradual Typing for Objects |
76
Voted
CAISE
2004
Springer
15 years 4 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
POPL
1999
ACM
15 years 3 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
104
click to vote
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Variation in object shape is an important visual cue for deformable object recognition and classification. In this paper, we present an approach to model gradual changes in the ?-...
ISMAR
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper evaluates different display devices for selection or annotation tasks in augmented reality (AR). We compare three different display types – a head mounted display and...
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...