2861 search results - page 440 / 573 » Constraint Programming |
ACE
2004
14 years 11 months ago
2004
While promotional literature about computer science programs may claim that curricula are determined by the needs of the students and by international best practice, the reality i...
102
click to vote
NIPS
2004
14 years 11 months ago
2004
We present an algorithm based on convex optimization for constructing kernels for semi-supervised learning. The kernel matrices are derived from the spectral decomposition of grap...
WICSA
2001
14 years 11 months ago
2001
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
AAAI
1990
14 years 11 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...