Sciweavers

8099 search results - page 235 / 1620
» Higher-Order Task Models
Sort
View
ACL
1997
15 years 8 months ago
Intonational Boundaries, Speech Repairs and Discourse Markers: Modeling Spoken Dialog
To understand a speaker’s turn of a conversation, one needs to segment it into intonational phrases, clean up any speech repairs that might have occurred, and identify discourse...
Peter A. Heeman, James F. Allen
EACL
1989
ACL Anthology
15 years 7 months ago
A Metaplan Model For Problem-Solving Discourse
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...
Lance A. Ramshaw
RTS
2008
131views more  RTS 2008»
15 years 6 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
GI
2009
Springer
15 years 4 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
BMEI
2008
IEEE
16 years 1 months ago
Reenginering Clinical Research Teams: An Organizational Modeling Approach
In this study, simulation models were developed to explore the effects of decentralization and interdependence on individuals working in research groups. We conducted the study by...
Elias Cesar Araujo De Carvalho, Jatin Shah, Anand ...