Sciweavers

1054 search results - page 165 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
121
Voted
CAD
2004
Springer
15 years 1 months ago
A single solution method for converting 2D assembly drawings to 3D part drawings
Although solid models play a central role in modern CAD systems, 2D CAD systems are still commonly used for designing products without complex curved faces. Therefore, an importan...
Masaji Tanaka, Laurence Anthony, Toshiaki Kaneeda,...
IVA
2009
Springer
15 years 8 months ago
Augmenting Gesture Animation with Motion Capture Data to Provide Full-Body Engagement
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
Pengcheng Luo, Michael Kipp, Michael Neff
ICDE
2009
IEEE
200views Database» more  ICDE 2009»
16 years 3 months ago
Adaptive Scheduling of Web Transactions
In highly interactive dynamic web database systems, user satisfaction determines their success. In such systems, userrequested web pages are dynamically created by executing a numb...
Shenoda Guirguis, Mohamed A. Sharaf, Panos K. Chry...
AIED
2007
Springer
15 years 8 months ago
Learning Tutorial Rules Using Classification Based On Associations
Rules have been showed to be appropriate representations to model tutoring and can be easily applied to intelligent tutoring systems. We applied a machine learning technique, Class...
Xin Lu, Barbara Di Eugenio, Stellan Ohlsson
ENTCS
2006
141views more  ENTCS 2006»
15 years 1 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...