Sciweavers

5718 search results - page 154 / 1144
» Modeling Rule Precision
Sort
View
AROBOTS
2004
77views more  AROBOTS 2004»
15 years 6 months ago
Macroscopic Modeling of Aggregation Experiments using Embodied Agents in Teams of Constant and Time-Varying Sizes
In this paper, we present discrete-time, nonspatial, macroscopic models able to capture the dynamics of collective aggregation experiments using groups of embodied agents endowed ...
William Agassounon, Alcherio Martinoli, Kjerstin E...
JUCS
2008
114views more  JUCS 2008»
15 years 6 months ago
CTML: Domain and Task Modeling for Collaborative Environments
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
Maik Wurdel, Daniel Sinnig, Peter Forbrig
ICASSP
2011
IEEE
14 years 10 months ago
A conditional model for triggering understanding actions in a speech understanding system
A conditional model is introduced for triggering understanding actions that correct errors of frame hypothesization and composition. Experimental evidence is provided using the Fr...
Frédéric Duvert, Renato de Mori
CIBSE
2009
ACM
15 years 11 months ago
Product Derivation in a Model-Driven Software Product Line using Decision Models
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
Hugo Arboleda, Andrés Romero, Rubby Casalla...
IAW
2003
IEEE
15 years 11 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia