Sciweavers

1655 search results - page 66 / 331
» Stemming in the language modeling framework
Sort
View
FMSD
2007
101views more  FMSD 2007»
15 years 6 months 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...
JUCS
2008
172views more  JUCS 2008»
15 years 6 months 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
DSRT
2006
IEEE
16 years 5 days 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»
16 years 8 days 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 6 months 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