1101 search results - page 163 / 221 » Forcing in proof theory |
119
click to vote
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— Building a basketball robot is a recently launched project at the Institute of Automatic Control Engineering (LSR) for investigating fast manipulation with non-negligible dynam...
111
click to vote
DEXAW
2007
IEEE
15 years 7 months ago
2007
IEEE
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
119
Voted
HAPTICS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we discuss the theory, design and construction of a haptic display for creating texture sensations through variations in surface friction. Ultrasonic frequency, low ...
126
Voted
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The application of reinforcement learning algorithms to multiagent domains may cause complex non-convergent dynamics. The replicator dynamics, commonly used in evolutiona...
104
Voted
PERSUASIVE
2007
Springer
15 years 6 months ago
2007
Springer
Persuasive games are a relatively new phenomenon, and hold promise as effective vehicles for persuasion. As yet, however, there are few set rules guiding how to design persuasive ...