4502 search results - page 458 / 901 » Regular Model Checking |
223
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
The most popular way to use probabilistic models in vision is first to extract some descriptors of small image patches or object parts using well-engineered features, and then to...
239
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Graphical models are useful for capturing interdependencies of statistical variables in various fields. Estimating parameters describing sparse graphical models of stationary mul...
242
click to vote
AAAI
2011
14 years 7 months ago
2011
Action modeling is an important skill for agents that must perform tasks in novel domains. Previous work on action modeling has focused on learning STRIPS operators in discrete, r...
207
click to vote
ICML
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we explore an application of basis pursuit to audio scene analysis. The goal of our work is to detect when certain sounds are present in a mixed audio signal. We fo...
194
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
Multicast applications for large-scale Mobile Ad hoc NETworks (MANETs) require an efficient and effective Quality of Service (QoS)-aware multicast model. The new requirements to ...