Sciweavers

523 search results - page 93 / 105
» Symbolic Test Selection Based on Approximate Analysis
Sort
View
DEXA
2005
Springer
80views Database» more  DEXA 2005»
14 years 1 months ago
Optimizing I/O Costs of Multi-dimensional Queries Using Bitmap Indices
Bitmap indices are efficient data structures for processing complex, multi-dimensional queries in data warehouse applications and scientific data analysis. For high-cardinality at...
Doron Rotem, Kurt Stockinger, Kesheng Wu
APSEC
2000
IEEE
13 years 12 months ago
Component-based software engineering: technologies, development frameworks, and quality assurance schemes
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko
ITS
1998
Springer
133views Multimedia» more  ITS 1998»
13 years 11 months ago
The Foundations and Architecture of Autotutor
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...
Peter M. Wiemer-Hastings, Arthur C. Graesser, Dere...
IJSC
2008
161views more  IJSC 2008»
13 years 7 months ago
Automatic Generation of Gaze and Gestures for Dialogues between Embodied Conversational Agents
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to t...
Werner Breitfuss, Helmut Prendinger, Mitsuru Ishiz...
TROB
2010
115views more  TROB 2010»
13 years 2 months ago
A Variable Stiffness PZT Actuator Having Tunable Resonant Frequencies
A new approach to a variable stiffness actuator with tunable resonant frequencies is presented in this paper. Variable stiffness actuators have become increasingly important for m...
Thomas W. Secord, H. Harry Asada