Sciweavers

10910 search results - page 382 / 2182
» Input modeling using a computer algebra system
Sort
View
CONCUR
2001
Springer
15 years 11 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
LREC
2010
160views Education» more  LREC 2010»
15 years 8 months ago
FrAG, a Hybrid Constraint Grammar Parser for French
This paper describes a hybrid tagger/parser for French (FrAG), and presents results from ongoing development work, corpus annotation and evaluation. The core of the system is a se...
Eckhard Bick
ICCV
1998
IEEE
16 years 8 months ago
Shape Recovery Using Dynamic Subdivision Surfaces
A new dynamic subdivision surface model is proposed for shape recovery from 3D data sets. The model inherits the attractive properties of the Catmull-Clark subdivision scheme and ...
Chhandomay Mandal, Baba C. Vemuri, Hong Qin
CA
1999
IEEE
15 years 11 months ago
MPEG-4 Compatible Faces from Orthogonal Photos
MPEG-4 is scheduled to become an International Standard in March 1999. This paper demonstrates an experiment for a virtual cloning method and animation system, which is compatible...
Won-Sook Lee, Marc Escher, Gaël Sannier, Nadi...
IPPS
1998
IEEE
15 years 11 months ago
The Timewheel Group Membership Protocol
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
Shivakant Mishra, Christof Fetzer, Flaviu Cristian