3082 search results - page 452 / 617 » Deviation Analysis: A New Use of Model Checking |
174
click to vote
AMFG
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a new approach for combining acoustic and visual measurements to aid in recognizing lip shapes of a person speaking. Our method relies on computing the maximum likeliho...
150
click to vote
INEX
2009
Springer
15 years 11 months ago
2009
Springer
We describe our participation in the Link-the-Wiki track at INEX 2009. We apply machine learning methods to the anchor-to-best-entry-point task and explore the impact of the follow...
176
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Accurate estimation of vessel parameters is a prerequisite for automated visualization and analysis of healthy and diseased blood vessels. The objective of this research is to est...
185
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
As the amount of textual information grows explosively in various kinds of business systems, it becomes more and more desirable to analyze both structured data records and unstruc...
204
click to vote
CODES
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...