1102 search results - page 96 / 221 » Generalizing Updates: From Models to Programs |
104
click to vote
JMLR
2006
15 years 13 days ago
2006
The fields of machine learning and mathematical programming are increasingly intertwined. Optimization problems lie at the heart of most machine learning approaches. The Special T...
140
Voted
SMI
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we introduce a parallel numerical scheme, the lattice Boltzmann method, to shape modeling applications. The motivation of using this originally-designed fluid dyna...
106
Voted
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
118
click to vote
AAAI
2004
15 years 1 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
100
click to vote
SARA
2009
Springer
15 years 7 months ago
2009
Springer
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...