Sciweavers

1270 search results - page 5 / 254
» IF Validation Environment Tutorial
Sort
View
AIED
2009
Springer
14 years 2 months ago
Using Task-Based Modeling to Generate Scaffolding in Narrative-Guided Exploratory Learning Environments
Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...
James M. Thomas, R. Michael Young
FLAIRS
2000
13 years 9 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
WSC
2008
13 years 10 months ago
How to build valid and credible simulation models
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
Averill M. Law
ICARCV
2006
IEEE
137views Robotics» more  ICARCV 2006»
14 years 1 months ago
Nanorobot Communication Techniques: A Comprehensive Tutorial
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
Adriano Cavalcanti, Tad Hogg, Bijan Shirinzadeh, H...
WSC
1997
13 years 9 months ago
Arena Software Tutorial
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
David A. Takus, David M. Profozich