12673 search results - page 429 / 2535 » Learning while designing |
186
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
186
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
This paper considers the problem of monocular human body tracking using learned models. We propose to learn the joint probability distribution of appearance and body pose using a m...
157
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In some learning settings, the cost of acquiring features for classification must be paid up front, before the classifier is evaluated. In this paper, we introduce the fo...
213
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--Recently, classifier grids have shown to be a considerable alternative for object detection from static cameras. However, one drawback of such approaches is drifting if a...
174
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper highlights the crucial role that modern machine learning techniques can play in the optimization of treatment strategies for patients with chronic disorders. In particu...