Sciweavers

1209 search results - page 77 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
111
Voted
AIEDU
2006
77views more  AIEDU 2006»
15 years 3 months ago
Constraint-based Modeling and Ambiguity
Constraint-based modeling has been used in many application areas of Intelligent Tutoring Systems as a powerful means to analyse erroneous student solutions and generate helpful fe...
Wolfgang Menzel
122
Voted
ECIS
2001
15 years 5 months ago
Challenges to Successful ERP Use
Enterprise Resource Planning (ERP) packages have, in the last five years, transformed the way organisations go about the process of providing Information Systems. Instead of craft...
Robert W. Smyth
IJCAI
2003
15 years 5 months ago
ODISET: On-line Distributed Session Tracing using Agents
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
Salvador Mandujano, Arturo Galván
ECMDAFA
2010
Springer
126views Hardware» more  ECMDAFA 2010»
15 years 8 months ago
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy
Model-Based Systems Engineering (MBSE) is an emerging engineering discipline whose driving motivation is to provide support throughout the entire system life cycle. MBSE not only a...
Salvador Trujillo, Jose Miguel Garate, Roberto Eri...
JOT
2008
200views more  JOT 2008»
15 years 3 months ago
Applying Model Checking to Concurrent UML Models
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
Patrice Gagnon, Farid Mokhati, Mourad Badri