Sciweavers

2373 search results - page 163 / 475
» The Design of the Zinc Modelling Language
Sort
View
VL
2009
IEEE
142views Visual Languages» more  VL 2009»
16 years 1 months ago
Using a degree of interest model to facilitate ontology navigation
Understanding and maintaining the structure of large ontologies is a cognitively demanding task. Visualizations are commonly used as a cognitive aid for presenting large ontologie...
Tricia d'Entremont, Margaret-Anne Storey
ATAL
2004
Springer
15 years 12 months ago
Towards Supporting Psychologically Plausible Variability in Agent-Based Human Modelling
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...
Emma Norling, Frank E. Ritter
EACL
2006
ACL Anthology
15 years 7 months ago
Using Reinforcement Learning to Build a Better Model of Dialogue State
Given the growing complexity of tasks that spoken dialogue systems are trying to handle, Reinforcement Learning (RL) has been increasingly used as a way of automatically learning ...
Joel R. Tetreault, Diane J. Litman
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
MEMOCODE
2008
IEEE
16 years 26 days ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier