4930 search results - page 188 / 986 » Learning minimal abstractions |
147
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
181
click to vote
INFORMS
2010
15 years 3 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
212
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In many image and video collections, we have access
only to partially labeled data. For example, personal photo
collections often contain several faces per image and a caption
t...
153
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Labeling video data is an essential prerequisite for many vision applications that depend on training data, such as visual information retrieval, object recognition, and human act...
157
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
An efficient and general multiple kernel learning (MKL) algorithm has been recently proposed by Sonnenburg et al. (2006). This approach has opened new perspectives since it makes ...