Sciweavers

2861 search results - page 478 / 573
» Modelling Adaptive Systems in ForSyDe
Sort
View
JTRES
2010
ACM
15 years 4 months ago
Exhaustive testing of safety critical Java
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
Tomás Kalibera, Pavel Parizek, Michal Maloh...
AAMAS
2010
Springer
15 years 3 months ago
Teaching a pet-robot to understand user feedback through interactive virtual training tasks
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
Anja Austermann, Seiji Yamada
FGCS
2007
112views more  FGCS 2007»
15 years 3 months ago
A commodity market algorithm for pricing substitutable Grid resources
A crucial goal for future Grid systems is to strive towards user-centric service provisioning. A way to achieve this is through the use of economics-based resource management. Cur...
Gunther Stuer, Kurt Vanmechelen, Jan Broeckhove
WWW
2003
ACM
16 years 4 months ago
Presentation Dynamism in XML Functional Programming meets SMIL Animation
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
Patrick Schmitz, Simon J. Thompson, Peter R. King
SMA
2005
ACM
239views Solid Modeling» more  SMA 2005»
15 years 9 months ago
Bender: a virtual ribbon for deforming 3D shapes in biomedical and styling applications
In contrast to machined mechanical parts, the 3D shapes encountered in biomedical or styling applications contain many tubular parts, protrusions, engravings, embossings, folds, a...
Ignacio Llamas, Alexander Powell, Jarek Rossignac,...