4341 search results - page 799 / 869 » Quantitative Model checking |
149
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
111
Voted
WSC
2004
15 years 3 months ago
2004
In the 21st century, the Biotechnology industry has the potential to inspire a number of management tools and theories, just as the Automobile industry did in the 20th century. Th...
129
click to vote
NIPS
2003
15 years 3 months ago
2003
At a cocktail party, a listener can selectively attend to a single voice and filter out other acoustical interferences. How to simulate this perceptual ability remains a great cha...
123
click to vote
NIPS
1998
15 years 3 months ago
1998
In this paper, we address two issues of long-standing interest in the reinforcement learning literature. First, what kinds of performance guarantees can be made for Q-learning aft...
165
Voted
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper proposes a probabilistic graphical model for the problem of propagating labels in video sequences, also termed the label propagation problem. Given a limited amount of ...