4095 search results - page 287 / 819 » How to test a tree |
90
Voted
IJAIT
2006
15 years 22 days ago
2006
In this paper we present the agent architecture development environment ADE, intended for the design, implementation, and testing of distributed agent architectures. After a short...
93
Voted
AAECC
1999
Springer
15 years 12 days ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
121
click to vote
JMLR
2011
14 years 7 months ago
2011
The causal notions embodied in the concept of Granger causality have been argued to belong to a different category than those of Judea Pearl’s Causal Model, and so far their re...
99
Voted
JMLR
2010
14 years 7 months ago
2010
A parametric version of herding is formulated. The nonlinear mapping between consecutive time slices is learned by a form of self-supervised training. The resulting dynamical syst...