Sciweavers

3073 search results - page 36 / 615
» Real World Verification
Sort
View
IVA
2005
Springer
14 years 1 months ago
A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application
This paper describes an application of the conversational agent Max in a real-world setting. The agent is employed as guide in a public computer museum, where he engages with visit...
Stefan Kopp, Lars Gesellensetter, Nicole C. Kr&aum...
ROBOCUP
2005
Springer
98views Robotics» more  ROBOCUP 2005»
14 years 1 months ago
RoboCup X: A Proposal for a New League Where RoboCup Goes Real World
To put more emphasis on real-world problems, the authors propose to extend the RoboCup competitions. In order to foster progress in the desired abilities the authors propose to exp...
Tijn van der Zant, Thomas Wisspeintner
WADS
2005
Springer
95views Algorithms» more  WADS 2005»
14 years 1 months ago
Improved Combinatorial Group Testing for Real-World Problem Sizes
We study practically efficient methods for performing combinatorial group testing. We present efficient non-adaptive and two-stage combinatorial group testing algorithms, which i...
David Eppstein, Michael T. Goodrich, Daniel S. Hir...
EVOW
2004
Springer
14 years 1 months ago
Solving a Real-World Glass Cutting Problem
We consider the problem of finding two-dimensional cutting patterns for glass sheets in order to produce rectangular elements requested by customers. The number of needed sheets, ...
Jakob Puchinger, Günther R. Raidl, Gabriele K...