3591 search results - page 168 / 719 » Typing linear constraints |
125
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
172
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
195
click to vote
JMLR
2012
13 years 8 months ago
2012
Reducing the number of labeled examples required to learn accurate prediction models is an important problem in structured output prediction. In this paper we propose a new transd...
153
click to vote
GLVLSI
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...
166
click to vote
CVPR
1996
IEEE
16 years 7 months ago
1996
IEEE
This paper addresses the problem of recognizing objects in large image databases. The method is based on local characteristics which are invariant to simzlarity transformations in...