Sciweavers

3148 search results - page 395 / 630
» On the Dynamic Initialization of Parallel Computers
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 7 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
CONSTRAINTS
2008
89views more  CONSTRAINTS 2008»
15 years 3 months ago
A Reinforcement Learning Approach to Interval Constraint Propagation
When solving systems of nonlinear equations with interval constraint methods, it has often been observed that many calls to contracting operators do not participate actively to th...
Frédéric Goualard, Christophe Jerman...
ICASSP
2011
IEEE
14 years 7 months ago
A robust lip tracking algorithm using localized color active contours and deformable models
Lip tracking is crucial to the success of a lipreading recognition system. This paper presents a robust lip tracking algorithm using localized color active contours and deformable...
Xin Liu, Yiu-ming Cheung
120
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Point process MCMC for sequential music transcription
In this paper, models and algorithms are presented for transcription of pitch and timings in polyphonic music extracts, focusing on the algorithm details of the sequential Markov ...
Pete Bunch, Simon J. Godsill
137
Voted
HCW
1998
IEEE
15 years 7 months ago
Implementing Distributed Synthetic Forces Simulations in Metacomputing Environments
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...
Sharon Brunett, Dan Davis, Thomas Gottschalk, Paul...