Sciweavers

1281 search results - page 93 / 257
» Isolated Features Detection in Feature Models
Sort
View
QEST
2009
IEEE
15 years 10 months ago
The Ins and Outs of the Probabilistic Model Checker MRMC
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz...
DAGM
2008
Springer
15 years 5 months ago
Learning Visual Compound Models from Parallel Image-Text Datasets
Abstract. In this paper, we propose a new approach to learn structured visual compound models from shape-based feature descriptions. We use captioned text in order to drive the pro...
Jan Moringen, Sven Wachsmuth, Sven J. Dickinson, S...
IVC
2000
146views more  IVC 2000»
15 years 3 months ago
Fast head modeling for animation
This paper describes an efficient method to make individual faces for animation from several possible inputs. We present a method to reconstruct 3D facial model for animation from...
Won-Sook Lee, Nadia Magnenat-Thalmann
ICIP
2010
IEEE
15 years 1 months ago
Sparse shapes prototype modeling using genetic algorithms
The process of finding representative shape patterns from sparse datasets is a challenging task: especially for non-rigid objects, shape deformations through time can produce very...
Stefano Maludrottu, Hany Sallam, Carlo S. Regazzon...
DFT
2008
IEEE
107views VLSI» more  DFT 2008»
15 years 9 months ago
Checkpointing of Rectilinear Growth in DNA Self-Assembly
Error detection/correction techniques have been advocated for algorithmic self-assembly. Under rectilinear growth, it requires only two additional tiles, generally referred to as ...
Stephen Frechette, Yong-Bin Kim, Fabrizio Lombardi