499 search results - page 10 / 100 » Constructive Induction by Analogy |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
EGICE
2006
13 years 11 months ago
2006
Situated design computing is an approach to the use of computers in design based on situated cognition. It is founded on two concepts: situatedness and constructive memory. These h...
LREC
2010
13 years 9 months ago
2010
In this paper describes the effects of the evolution of an Italian dependency grammar on a task of multilingual FrameNet acquisition. The task is based on the creation of virtual ...
ISPD
2005
ACM
14 years 1 months ago
2005
ACM
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...
AAECC
2006
Springer
13 years 7 months ago
2006
Springer
The contribution of this paper is an effective proof of the well-foundedness of MPO, as a term of the Calculus of Inductive Constructions. This proof is direct, short and simple. ...