3053 search results - page 307 / 611 » Structured Objects: Modeling and Reasoning |
119
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
148
click to vote
SERP
2004
15 years 5 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
118
Voted
WSCG
2001
15 years 5 months ago
2001
Most occlusion culling algorithms select a subset of suitable occluder planes or geometries to exclude invisible objects from further visualization processing. Preferably these oc...
108
click to vote
APAL
2007
15 years 4 months ago
2007
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Catego...
114
click to vote
COMGEO
1998
ACM
15 years 3 months ago
1998
ACM
In this paper we introduce variable resolution 4– meshes, a powerful structure for the representation of geometric objects at multiple levels of detail. It combines most propert...