5030 search results - page 199 / 1006 » cases 2007 |
177
click to vote
IJCAI
1997
15 years 8 months ago
1997
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive aspects of analogy and give a unified treatment for theorems and non-theorems. Abd...
200
Voted
SIROCCO
1997
15 years 8 months ago
1997
We show the existence of various versions of expander graphs using Kolmogorov complexity. This method seems superior to the usual “probabilistic construction”. Also, the best k...
178
click to vote
CASCON
1993
15 years 8 months ago
1993
When debugging a distributed application, a display showing the events causing interactions between processes can be very useful. If the number of processes is large, displaying a...
176
click to vote
CASCON
1996
15 years 8 months ago
1996
: This paper presents an approach for defining evaluation criteria for reusable software components. We introduce a taxonomy of factors that influence selection, describe each of t...
194
click to vote
IJCAI
1989
15 years 8 months ago
1989
In this paper we describe a new approach to the problem of path planning with moving obstacles. Our approach is based on the maneuvering board method commonly used for nautical na...