Sciweavers

9931 search results - page 406 / 1987
» Generative Modeling by PRISM
Sort
View
CGF
2002
65views more  CGF 2002»
15 years 6 months ago
A Biologically-Parameterized Feather Model
Feathers, unlike other cutaneous appendages such as hair, fur, or scales have a definite structure. Variation in feather structure creates a wide range of resulting appearances. C...
Lisa Streit, Wolfgang Heidrich
209
Voted
SPIN
2012
Springer
13 years 9 months ago
Model Checking DSL-Generated C Source Code
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Martin Sulzmann, Axel Zechner
ROMAN
2007
IEEE
176views Robotics» more  ROMAN 2007»
16 years 1 months ago
Action Recognition and Understanding using Motor Primitives
— We investigate modeling and recognition of arm manipulation actions of different levels of complexity. To model the process, we are using a combination of discriminative suppor...
Ville Kyrki, Isabel Serrano Vicente, Danica Kragic...
IJCNN
2006
IEEE
16 years 24 days ago
Rao-Blackwellized Particle Filtering for Sequential Speech Enhancement
— In this paper we present a method of sequential speech enhancement, where we infer clean speech signal using a Rao-Blackwellized particle filter (RBPF), given a noisecontamina...
Sunho Park, Seungjin Choi
DMIN
2007
168views Data Mining» more  DMIN 2007»
15 years 8 months ago
On Clustering Users' Behaviors in Video Sessions
We study the extraction of characteristics of user behavior in video session encoded as stochastic matrices of finite Markov chain. These behaviors are clustered using a dissimil...
Sylvain Mongy, Chabane Djeraba, Dan A. Simovici