Sciweavers

1309 search results - page 134 / 262
» A Generic Approach to Topic Models
Sort
View
CA
1999
IEEE
14 years 2 months ago
Virtual People: Capturing Human Models to Populate Virtual Worlds
In this paper a new technique is introduced for automatically building recognisable moving 3D models of individual people. Realistic modelling of people is essential for advanced ...
Adrian Hilton, Daniel Beresford, Thomas Gentils, R...
MM
2004
ACM
149views Multimedia» more  MM 2004»
14 years 3 months ago
An adaptive skin model and its application to objectionable image filtering
We propose an adaptive skin-detection method, which allows modelling and detection of the true skin-color pixels with significantly higher accuracy and flexibility than previous...
Qiang Zhu, Ching-Tung Wu, Kwang-Ting Cheng, Yi-Leh...
CAV
2010
Springer
225views Hardware» more  CAV 2010»
14 years 1 months ago
Merit: An Interpolating Model-Checker
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
Nicolas Caniart
ICCAD
2005
IEEE
114views Hardware» more  ICCAD 2005»
14 years 6 months ago
Statistical timing analysis with two-sided constraints
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
Khaled R. Heloue, Farid N. Najm
GBRPR
2005
Springer
14 years 3 months ago
Graphical Knowledge Management in Graphics Recognition Systems
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
Mathieu Delalandre, Éric Trupin, Jacques La...