Sciweavers

1284 search results - page 76 / 257
» On Helping and Interactive Proof Systems
Sort
View
WMTE
2006
IEEE
14 years 5 months ago
Implementation of Intelligent Agents with Mobility in Educational Robotics Settings
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
Ilkka Jormanainen, Chiara Moroni, Yuejun Zhang, Ki...
CGVR
2006
14 years 17 days ago
Conflict Analysis in Replicated Collaborative Solid Modeling Systems
Conflict problem is one of the major issues in Collaborative CAD systems. Based on a flexible multi-user interaction framework for replicated Collaborative Solid Modeling (CSM) sys...
Shuxu Jing, Fazhi He, Huajun Liu, Bin Liao
VIP
2000
14 years 15 days ago
A Fuzzy Rule-Based Interactive Methodology for Training Multimedia Actors
Computer animation has come a long way during the last decade and is now capable of producing near-realistic rendered 3D computer graphics models of expressive, talking, acting hu...
Savant Karunaratne, Hong Yan
CSMR
2006
IEEE
14 years 5 months ago
Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
Maher Salah, Spiros Mancoridis, Giuliano Antoniol,...
ISAS
2004
Springer
14 years 4 months ago
On Enhancing the Robustness of Commercial Operating Systems
A ubiquitous computing system derives its operations from the collective interactions of its constituent components. Consequently, a robust ubiquitous system entails that the discr...
Andréas Johansson, Adina Sarbu, Arshad Jhum...