Sciweavers

3191 search results - page 163 / 639
» Qualitative Modeling in Education
Sort
View
ETS
2002
IEEE
80views Hardware» more  ETS 2002»
15 years 6 months ago
To wire or not to wire? Encyclopaedia Britannica versus Microsoft Encarta
This paper will review Encyclopaedia Britannica and Microsoft Encarta, highlighting elements of audience appeal, educational value and potential for learning. Currently, encyclopa...
Panagiota Alevizou
213
Voted
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 1 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 7 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 7 months ago
A Computational Model of Spatial Memory Anticipation during Visual Search
Some visual search tasks require to memorize the location of stimuli that have been previously scanned. Considerations about the eye movements raise the question of how we are able...
Jérémy Fix, Julien Vitay, Nicolas P....
CORR
2002
Springer
118views Education» more  CORR 2002»
15 years 6 months ago
Language Modeling for Multi-Domain Speech-Driven Text Retrieval
We report experimental results associated with speech-driven text retrieval, which facilitates retrieving information in multiple domains with spoken queries. Since users speak co...
Katunobu Itou, Atsushi Fujii, Tetsuya Ishikawa