4095 search results - page 258 / 819 » How to test a tree |
143
Voted
CAV
2005
Springer
15 years 11 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...
142
click to vote
ICRA
2002
IEEE
15 years 10 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...
164
Voted
IPPS
1997
IEEE
15 years 9 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...
170
Voted
VLDB
1989
ACM
15 years 9 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...
156
click to vote
CG
2006
Springer
15 years 7 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...