4095 search results - page 258 / 819 » How to test a tree |
91
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
84
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes how a table tennis robot with a fiat paddle coordinates its movement in order to achieve efficient strokes for any given ball. We propose a method of generati...
108
click to vote
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
We propose a distributed data structure for maintaining spatial data sets on message-passing, distributed memory machines. The data structure is based on orthogonal bisection tree...
112
click to vote
VLDB
1989
ACM
15 years 4 months ago
1989
ACM
This paper presents a parallel algorithm for recursive query processing and shows how it can be efficiently implemented in a local computer network. The algorithm relies on an int...
104
Voted
CG
2006
Springer
15 years 2 months ago
2006
Springer
Temporal difference (TD) learning has been used to learn strong evaluation functions in a variety of two-player games. TD-gammon illustrated how the combination of game tree search...