Sciweavers

3007 search results - page 384 / 602
» Linear Functional Fixed-points
Sort
View
HICSS
1995
IEEE
109views Biometrics» more  HICSS 1995»
15 years 7 months ago
The architecture of an optimistic CPU: the WarpEngine
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
John G. Cleary, Murray Pearson, Husam Kinawi
142
Voted
ICCV
1995
IEEE
15 years 7 months ago
Estimating the Tensor of Curvature of a Surface from a Polyhedral Approximation
Estimating principal curvatures and principal directions of a surface from a polyhedral approximation with a large number of small faces, such as those produced by iso-surface con...
Gabriel Taubin
121
Voted
REX
1991
15 years 7 months ago
The Theory of Timed Automata
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
Rajeev Alur, David L. Dill
123
Voted
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 6 months ago
Leader-following formation control of multiple vision-based autonomous robotic fish
— A framework for the deployment of multiple autonomous robotic fish to achieve leader-following formations with Bezier trajectory is presented. Each follower robot estimates th...
Wei Zhao, Yonghui Hu, Long Wang
CG
2006
Springer
15 years 5 months ago
Feature Construction for Reinforcement Learning in Hearts
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...
Nathan R. Sturtevant, Adam M. White