3909 search results - page 394 / 782 » Extreme Model Checking |
152
click to vote
DCC
2002
IEEE
16 years 4 months ago
2002
IEEE
A novel method for the compression of angiogram video sequences is presented. The approach is based on the idea that not all of an angiogram image will de diagnostically significa...
121
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe a new GMM-UBM speaker recognition system that uses standard cepstral features, but selects different frames of speech for different subsystems. Subsystems, or “const...
115
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Robust robotic manipulation and perception remains a difficult challenge, in particular in unstructured environments. To address this challenge, we propose to couple m...
133
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— Adaptive transceivers play an important role in wireless communications and the design of MIMO systems. Therefore models that enable simulation of dynamic and time varying chan...
138
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a person’s activities and signi...