Sciweavers

1655 search results - page 66 / 331
» Stemming in the language modeling framework
Sort
View
FMSD
2007
101views more  FMSD 2007»
15 years 15 days ago
Timed substitutions for regular signal-event languages
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
Béatrice Bérard, Paul Gastin, Antoin...
102
Voted
JUCS
2008
172views more  JUCS 2008»
15 years 16 days ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
102
Voted
DSRT
2006
IEEE
15 years 6 months ago
Haptic Applications Meta-Language
A wide range of haptic devices exist that possess the potential to offer users a rich experience in a virtual reality environment. This however depends on the haptic device to be ...
Fayez R. El-Far, Mohamad A. Eid, Mauricio Orozco T...
GECCO
2007
Springer
187views Optimization» more  GECCO 2007»
15 years 6 months ago
Agent-environment interaction in a multi-agent system: a formal model
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
Gemma Bel Enguix, Maria Dolores Jiménez-L&o...
TOPNOC
2008
15 years 14 days ago
Translating Message Sequence Charts to other Process Languages Using Process Mining
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
Kristian Bisgaard Lassen, Boudewijn F. van Dongen