Sciweavers

2939 search results - page 343 / 588
» A geometric approach to aggregation
Sort
View
CAV
1998
Springer
98views Hardware» more  CAV 1998»
15 years 10 months ago
Verification of Timed Systems Using POSETs
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
Wendy Belluomini, Chris J. Myers
FC
1998
Springer
164views Cryptology» more  FC 1998»
15 years 10 months ago
Robustness and Security of Digital Watermarks
Digital watermarking is a nascent but promising technology that offers protection of unencrypted digital content. This paper is a brief technical survey of the multimedia watermark...
Lesley R. Matheson, Stephen G. Mitchell, Talal Sha...
IEAAIE
1998
Springer
15 years 10 months ago
A Combined Probabilistic Framework for Learning Gestures and Actions
Abstract. In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is...
Francisco Escolano, Miguel Cazorla, Domingo Gallar...
VW
1998
Springer
217views Virtual Reality» more  VW 1998»
15 years 10 months ago
Animated Impostors for Real-Time Display of Numerous Virtual Humans
Rendering and animating in real-time a multitude of articulated characters presents a real challenge and few hardware systems are up to the task. Up to now little research has bee...
Amaury Aubel, Ronan Boulic, Daniel Thalmann
CVRMED
1997
Springer
15 years 10 months ago
Volumetric medical images segmentation using shape constrained deformable models
In this paper we address the problem of extracting geometric models from low contrast volumetric images, given a template or reference shape of that model. We proceed by deforming...
Johan Montagnat, Hervé Delingette