6291 search results - page 224 / 1259 » Components Are from Mars |
167
click to vote
REX
1991
15 years 9 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
141
click to vote
FLAIRS
2003
15 years 7 months ago
2003
1 Reinforcement learning has become a widely used methodology for creating intelligent agents in a wide range of applications. However, its performance deteriorates in tasks with s...
139
Voted
NIPS
2003
15 years 7 months ago
2003
Many techniques for complex speech processing such as denoising and deconvolution, time/frequency warping, multiple speaker separation, and multiple microphone analysis operate on...
149
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
144
Voted
TSMC
2008
15 years 5 months ago
2008
This paper proposes a novel method to estimate the head yaw rotations based on the asymmetry of 2-D facial appearance. In traditional appearance-based pose estimation methods, feat...