3818 search results - page 414 / 764 » Learning from Order Examples |
162
click to vote
JSAT
2006
15 years 4 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
146
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
148
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Valiant’s (2007) model of evolvability models the evolutionary process of acquiring useful functionality as a restricted form of learning from random examples. Linear threshold ...
153
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
From pre-schools to high schools, at home and in museums, the educational community has embraced the use of computers as a teaching tool. Yet many institutions will simply install...
125
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
A representative subspace is significant for image analysis, while the corresponding techniques often suffer from the curse of dimensionality dilemma. In this paper, we propose a ...