Sciweavers

2624 search results - page 102 / 525
» The 2LIP model and its implementations
Sort
View
INTERACT
2003
15 years 7 months ago
A Model-Based Approach for Engineering Multimodal Interactive Systems
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
Philippe A. Palanque, Amélie Schyn
AIIDE
2009
15 years 7 months ago
Learning Character Behaviors Using Agent Modeling in Games
Our goal is to provide learning mechanisms to game agents so they are capable of adapting to new behaviors based on the actions of other agents. We introduce a new on-line reinfor...
Richard Zhao, Duane Szafron
ENTCS
2007
115views more  ENTCS 2007»
15 years 6 months ago
A Global Algorithm for Model-Based Test Suite Generation
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
Anders Hessel, Paul Pettersson
AICOM
1999
116views more  AICOM 1999»
15 years 6 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
ICST
2010
IEEE
15 years 4 months ago
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
Sergio Segura, Robert M. Hierons, David Benavides,...