Sciweavers

43264 search results - page 238 / 8653
» Comparing models of computation
Sort
View
139
Voted
DEXAW
2009
IEEE
125views Database» more  DEXAW 2009»
15 years 10 months ago
Comparison Between Manually and Automatically Assigned Descriptors Based on a German Bibliographic Collection
—This paper compares and illustrates the use of manually and automatically assigned descriptors on German documents extracted from the GIRT Corpus. A second objective is to analy...
Claire Fautsch, Jacques Savoy
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 7 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
Dirk Beyer, Claus Lewerentz, Andreas Noack
114
Voted
ICML
2006
IEEE
16 years 4 months ago
Efficient inference on sequence segmentation models
Sequence segmentation is a flexible and highly accurate mechanism for modeling several applications. Inference on segmentation models involves dynamic programming computations tha...
Sunita Sarawagi
3DIM
2003
IEEE
15 years 9 months ago
Automatic Modeling of Animatable Virtual Humans - A Survey
Highly realistic virtual human models are rapidly becoming commonplace in computer graphics. These models, often represented by complex shape and requiring labor-intensive process...
Nadia Magnenat-Thalmann, Hyewon Seo, Frederic Cord...
ICASSP
2011
IEEE
14 years 7 months ago
Discriminative simplification of mixture models
Simplification of mixture models has recently emerged as an important issue in the field of statistical learning. The heavy computational demands of using large order models dro...
Yossi Bar-Yosef, Yuval Bistritz