67 search results - page 6 / 14 » MIP: Theory and Practice - Closing the Gap |
100
click to vote
CRIWG
2007
14 years 11 months ago
2007
Two of the most important research subjects during the development of intelligent authoring systems (IAS) for education are the modeling of knowledge and the extraction of knowledg...
CHI
2009
ACM
14 years 7 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
111
click to vote
ENTCS
2006
14 years 10 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
100
click to vote
CORR
1999
Springer
14 years 9 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
IJCAI
2003
14 years 11 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...