2646 search results - page 288 / 530 » Local Type Inference |
177
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we investigate the use of a spherical projection model to search for optimal visual features for visual servoing. A new minimal set of three visual features is p...
198
click to vote
CIA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we compare state-of-the-art multi-agent reinforcement learning algorithms in a wide variety of games. We consider two types of algorithms: value iteration a...
155
click to vote
HAPTICS
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...
156
click to vote
MEMOCODE
2005
IEEE
16 years 8 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
165
click to vote
EAGC
2004
Springer
16 years 3 days ago
2004
Springer
This paper describes how Condor-pools could be joined together to form a large computational cluster-grid. In the architecture Jini provides the infrastructure for resource lookup,...