Sciweavers

6192 search results - page 211 / 1239
» Distributed Control of Attention
Sort
View
115
Voted
HASE
2005
IEEE
15 years 9 months ago
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
Gergely Pintér, István Majzik
127
Voted
MIRRORBOT
2005
Springer
139views Robotics» more  MIRRORBOT 2005»
15 years 9 months ago
Neural Robot Detection in RoboCup
Abstract. Improving the game play in RoboCup middle size league requires a fast and robust visual robot detection system. The presented multilevel approach documents, that the comb...
Gerd Mayer, Ulrich Kaufmann, Gerhard K. Kraetzschm...
136
Voted
QOFIS
2004
Springer
15 years 9 months ago
Multi-bid Versus Progressive Second Price Auctions in a Stochastic Environment
Pricing is considered a relevant way to control congestion and differentiate services in communication networks. Among all pricing schemes, auctioning for bandwidth has received a...
Patrick Maillé, Bruno Tuffin
135
Voted
ADS
2004
Springer
15 years 7 months ago
Affective Feedback in a Tutoring System for Procedural Tasks
We discuss the affective aspects of tutoring dialogues in an ITS -called INES- that helps students to practice nursing tasks using a haptic device and a virtual environment. Specia...
Dirk Heylen, Maarten Vissers, Rieks op den Akker, ...
142
Voted
AIIDE
2007
15 years 6 months ago
SORTS: A Human-Level Approach to Real-Time Strategy AI
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...
Samuel Wintermute, Joseph Xu, John E. Laird