Sciweavers

3765 search results - page 331 / 753
» Qualitative Action Systems
Sort
View
ITS
2004
Springer
204views Multimedia» more  ITS 2004»
16 years 25 days ago
FlexiTrainer: A Visual Authoring Framework for Case-Based Intelligent Tutoring Systems
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
Sowmya Ramachandran, Emilio Remolina, Daniel Fu
ITS
2004
Springer
642views Multimedia» more  ITS 2004»
16 years 25 days ago
Advantages of Spoken Language Interaction in Dialogue-Based Intelligent Tutoring Systems
Abstract. The ability to lead collaborative discussions and appropriately scaffold learning has been identified as one of the central advantages of human tutorial interaction [6]. ...
Heather Pon-Barry, Brady Clark, Karl Schultz, Eliz...
RTSS
2003
IEEE
16 years 22 days ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
ASUNAM
2009
IEEE
16 years 17 days ago
Filtering Spam in Social Tagging System with Dynamic Behavior Analysis
—Spam in social tagging systems introduced by some malicious participants has become a serious problem for its global popularizing. Some studies which can be deduced to static us...
Bo Liu, Ennan Zhai, Huiping Sun, Yelu Chen, Zhong ...
HYBRID
1997
Springer
15 years 11 months ago
On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
Michael S. Branicky