2565 search results - page 244 / 513 » Object type constructors |
156
click to vote
CADE
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
119
Voted
OOGRAPHICS
1992
15 years 6 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
133
click to vote
CAIP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a new hybrid split-and-merge image segmentation method based on computational geometry and topology using persistent homology. The algorithm uses edge...
135
click to vote
VW
2000
Springer
15 years 5 months ago
2000
Springer
This paper describes a versatile, robust, and parametric ball animation model that can be used in many types of interactive Virtual Reality (VR) environments. The generic model is ...
98
Voted
BMVC
2001
15 years 4 months ago
2001
Visual interpretation of events requires both an appropriate representation of change occurring in the scene and the application of semantics for differentiating between different...