Sciweavers

27913 search results - page 628 / 5583
» Simulation
Sort
View
PTS
2010
138views Hardware» more  PTS 2010»
15 years 4 months ago
Alternating Simulation and IOCO
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
Margus Veanes, Nikolaj Bjørner
183
Voted
HAID
2010
Springer
15 years 4 months ago
Conflicting Audio-haptic Feedback in Physically Based Simulation of Walking Sounds
We describe an audio-haptic experiment conducted using a system which simulates in real-time the auditory and haptic sensation of walking on different surfaces. The system is based...
Luca Turchet, Stefania Serafin, Smilen Dimitrov, R...
ICFHR
2010
207views Biometrics» more  ICFHR 2010»
15 years 1 months ago
Forensic Signature Verification Competition 4NSigComp2010 - Detection of Simulated and Disguised Signatures
This competition scenario aims at a performance comparison of several automated systems for the task of signature verification. The systems have to rate the probability of authors...
Marcus Liwicki, C. Elisa van den Heuvel, Bryan Fou...
172
Voted
ICASSP
2011
IEEE
14 years 10 months ago
Simulating room impulse responses for spherical microphone arrays
A method is proposed for simulating the sound pressure signals on a spherical microphone array in a reverberant enclosure. The method employs spherical harmonic decomposition and ...
Daniel P. Jarrett, Emanuel A. P. Habets, Mark R. P...
CVPR
2007
IEEE
16 years 8 months ago
A Multi-Resolution Dynamic Model for Face Aging Simulation
In this paper we present a dynamic model for simulating face aging process. We adopt a high resolution grammatical face model[1] and augment it with age and hair features. This mo...
Jin-Li Suo, Feng Min, Song Chun Zhu, Shiguang Shan...