1981 search results - page 340 / 397 » Model-Checking Hierarchical Structures |
ICALP
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
ICVS
1999
Springer
14 years 1 months ago
1999
Springer
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...
RT
1999
Springer
14 years 1 months ago
1999
Springer
This paper presents a ray tracer that facilitates near-interactive scene editing with incremental rendering; the user can edit the scene both by manipulating objects and by changin...
VISUALIZATION
1998
IEEE
14 years 1 months ago
1998
IEEE
We consider interpolation between keyframe hierarchies. We impose a set of weak constraints that allows smooth interpolation between two keyframe hierarchies in an animation or, m...
PKDD
1998
Springer
14 years 1 months ago
1998
Springer
Knowledge Discovery in Databases (KDD) focuses on the computerized exploration of large amounts of data and on the discovery of interesting patterns within them. While most work on...