1131 search results - page 140 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
100
click to vote
AIED
2007
Springer
15 years 6 months ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
83
Voted
IFL
2001
Springer
15 years 5 months ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
124
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
133
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
134
Voted
COCOS
2003
Springer
15 years 5 months ago
2003
Springer
We investigate some approaches to solving nonconvex global optimization problems by convex nonlinear programming methods. We assume that the problem becomes convex when selected va...