Sciweavers

783 search results - page 48 / 157
» Bridging the Gaps
Sort
View
ICALT
2009
IEEE
14 years 5 months ago
A Framework for Pedagogical Feedback in the Motor Skill Domain
With increasingly rapid development in Computerbased Sport Training (CBST), feedback plays an important role in both coaching and learning. A good CBST system includes not only go...
Yulita Hanum P. Iskandar, Lester Gilbert, Gary B. ...
ALDT
2009
Springer
140views Algorithms» more  ALDT 2009»
14 years 5 months ago
Directional Decomposition of Multiattribute Utility Functions
Abstract. Several schemes have been proposed for compactly representing multiattribute utility functions, yet none seems to achieve the level of success achieved by Bayesian and Ma...
Ronen I. Brafman, Yagil Engel
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
14 years 5 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
ISSRE
2008
IEEE
14 years 5 months ago
Using Fault Modeling in Safety Cases
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
Robyn R. Lutz, Ann Patterson-Hine
ICALT
2007
IEEE
14 years 5 months ago
An Ontology-Based Framework for Authoring Assisted by Recommendation
In this paper, we propose the use of Semantic Web technologies to bridge the gap between authoring systems and authors. The core part of our solution is the ontology-based framewo...
Sasa Nesic, Dragan Gasevic, Mehdi Jazayeri