Sciweavers

3191 search results - page 198 / 639
» Qualitative Modeling in Education
Sort
View
CORR
2011
Springer
156views Education» more  CORR 2011»
15 years 2 months ago
Extensional Collapse Situations I: non-termination and unrecoverable errors
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...
Antonio Bucciarelli
CORR
2011
Springer
193views Education» more  CORR 2011»
14 years 10 months ago
ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors
—A method to quantify the probabilistic controller taskload inherent to maintaining aircraft adherence to 4-D trajectories within flow corridors is presented. Taskload is here d...
Vlad Popescu, John-Paul Clarke, Karen M. Feigh, Er...
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 7 months ago
Nested Ordered Sets and their Use for Data Modelling
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
Alexandr A. Savinov
SIMUTOOLS
2008
15 years 8 months ago
Snoopy: a tool to design and animate/simulate graph-based formalisms
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
Monika Heiner, Ronny Richter, Martin Schwarick
CHI
2004
ACM
16 years 7 months ago
Towards caring machines
The perception of feeling cared for has beneficial consequences in education, psychotherapy, and medicine. Results from a longitudinal study of simulated caring by a computer are ...
Timothy W. Bickmore, Rosalind W. Picard