1088 search results - page 136 / 218 » A Bayesian Approach to Tackling Hard Computational Problems |
CAV
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
110
click to vote
FORMATS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
109
click to vote
DAGM
2010
Springer
14 years 11 months ago
2010
Springer
Content-based image retrieval requires a natural image (e.g, a photo) as query, but the absence of such a query image is usually the reason for a search. An easy way to express the...
TASLP
2008
14 years 11 months ago
2008
We present LyricAlly, a prototype that automatically aligns acoustic musical signals with their corresponding textual lyrics, in a manner similar to manually-aligned karaoke. We ta...
PAMI
2007
14 years 10 months ago
2007
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...