Sciweavers

1588 search results - page 90 / 318
» Modular action language
Sort
View
154
Voted
ESAW
2008
Springer
15 years 5 months ago
ADELFE Design, AMAS-ML in Action
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
Sylvain Rougemaille, Jean-Paul Arcangeli, Marie Pi...
HCI
2009
15 years 1 months ago
Partially Observable Markov Decision Process (POMDP) Technologies for Sign Language Based Human-Computer Interaction
Sign language (SL) recognition modules in human-computer interaction systems need to be both fast and reliable. In cases where multiple sets of features are extracted from the SL d...
Sylvie C. W. Ong, David Hsu, Wee Sun Lee, Hanna Ku...
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 7 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
Dirk Beyer, Claus Lewerentz, Andreas Noack
ACL
1994
15 years 4 months ago
Acquiring Receptive Morphology: A Connectionist Model
This paper describes a modular connectionist model of the acquisition of receptive inflectional morphology. The model takes inputs in the form of phones one at a time and outputs ...
Michael Gasser
JSAC
2006
180views more  JSAC 2006»
15 years 3 months ago
A Tutorial on Decomposition Methods for Network Utility Maximization
A systematic understanding of the decomposability structures in network utility maximization is key to both resource allocation and functionality allocation. It helps us obtain the...
Daniel Pérez Palomar, Mung Chiang