1778 search results - page 41 / 356 » Building a Knowledge Base: An Example |
156
click to vote
COOPIS
1996
IEEE
15 years 4 months ago
1996
IEEE
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
100
Voted
CORR
2008
Springer
15 years 19 days 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...
112
Voted
INFORMATICALT
2011
14 years 7 months ago
2011
It is well known that in situations involving the study of large datasets where influential observations or outliers maybe present, regression models based on the Maximum Likeliho...
82
Voted
AAAI
1994
15 years 1 months ago
1994
Using the methods demonstrated in this paper, a robot with an unknown sensorimotor system can learn sets of features and behaviors adequate to explore a continuous environment and...
99
Voted
ENTCS
2008
15 years 18 days ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...