Sciweavers

478 search results - page 58 / 96
» Computational thinking
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 1 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
ACMDIS
2006
ACM
15 years 7 months ago
SESAME: towards better 3D conceptual design systems
Conceptual design dominates the early stages of most creative design processes. During these stages, the designer makes important decisions about the parameters of a model that ar...
Ji-Young Oh, Wolfgang Stürzlinger, John Danah...
AGENTCL
2003
Springer
15 years 6 months ago
A Cooperative Dialogue Game for Resolving Ontological Discrepancies
The goal of this paper is to present a computational framework that enables us to generate elementary speech act sequences in a dialogue between an electronic assistant and a compu...
Robbert-Jan Beun, Rogier M. van Eijk
INFORMATICALT
2000
118views more  INFORMATICALT 2000»
15 years 1 months ago
Hexagonal Approach and Modeling for the Visual Cortex
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...
Algis Garliauskas, Alvydas Soliunas
CORR
2006
Springer
124views Education» more  CORR 2006»
15 years 1 months ago
Next Generation Language Resources using GRID
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...
Federico Calzolari, Eva Sassolini, Manuela Sassi, ...