3639 search results - page 205 / 728 » Experiments on IPv6 Testing |
174
click to vote
FLAIRS
1998
15 years 4 months ago
1998
For many reasons, it is desirable to use robots in courses such as introductory computer science, artificial intelligence, and cognitive science, yet the knowledge normally require...
133
click to vote
AAAI
1994
15 years 4 months ago
1994
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
133
click to vote
DEDUCTIVE
1993
15 years 4 months ago
1993
This chapter discusses an extended deductive database prototype system, Q-Data, developed by Bellcore to improve data quality through data validation and cleanup. The key technolo...
122
click to vote
IJCAI
1989
15 years 4 months ago
1989
This paper presents an evaluation of two orthogonal schemes for improving the efficiency of solving constraint satisfaction problems (CSPs). The first scheme involves a class of p...
114
Voted
CSDA
2008
15 years 3 months ago
2008
In this paper we use a general procedure for fractional integration and structural breaks at unknown points in time, which allows for different orders of integration and determini...