958 search results - page 83 / 192 » Model Transformation Languages and Their Implementation by B... |
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
130
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
The tagging problem in natural language processing is to find a way to label every word in a text as a particular part of speech, e.g., proper noun. An effective way of solving th...
109
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Currently, state of the art virtual agents lack the ability to display emotion as seen in actual humans, or even in hand-animated characters. One reason for the emotional inexpres...
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...