Sciweavers

2143 search results - page 229 / 429
» Linking Representation with Meaning
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 months ago
Scaling Step-Wise Refinement
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
Don S. Batory, Jacob Neal Sarvela, Axel Rauschmaye...
CEC
2009
IEEE
16 years 1 months ago
Biocybernetic loop: From awareness to evolution
—Developing systems that support people in everyday life in a discrete and effective way is an ultimate goal of a new generation of technical systems. Physiological computing rep...
Nikola B. Serbedzija, Stephen H. Fairclough
AIED
2009
Springer
16 years 1 months ago
Handling Uncertainty and Multiple Perspectives for Learner Modeling by Cognitive Mapping
This research deals with two issues for learner modeling: uncertainty and multiple perspectives. Hence, it proposes a process called cognitive mapping to acquire and describe objec...
Alejandro Peña Ayala
SSD
2009
Springer
91views Database» more  SSD 2009»
16 years 1 months ago
Semantic Trajectory Compression
In the light of rapidly growing repositories capturing the movement trajectories of people in spacetime, the need for trajectory compression becomes obvious. This paper argues for ...
Falko Schmid, Kai-Florian Richter, Patrick Laube
UC
2009
Springer
16 years 1 months ago
On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
Karl Svozil