Sciweavers

7839 search results - page 267 / 1568
» What's there and what's not
Sort
View
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
15 years 8 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
Adrian Craciun, Madalina Hodorog
ACII
2007
Springer
15 years 8 months ago
Sound for A-Life Agents
in the form of light clusters (displayed in arrays of LEDs) and abstract electroacoustic sound — what we term low-fidelity embodiments. Thus, the architecture for such agents is...
Melanie Baljko, John Kamevaar, Nell Tenhaaf
ICALT
2006
IEEE
15 years 7 months ago
Towards Effective Usage-Based Learning Applications: Track and Learn from User Experience(s)
In this paper we propose a schema and framework for recording and managing attention metadata. This framework is intended to capture, manage, and re-use data about attention users...
Jehad Najjar, Erik Duval, Martin Wolpers
ITICSE
2005
ACM
15 years 7 months ago
Teaching polymorphism early
Is it possible to teach dynamic polymorphism early? What techniques could facilitate teaching it in Java. This panel will bring together people who have considered this question a...
Joseph Bergin, Eugene Wallingford, Michael E. Casp...
CAEPIA
2005
Springer
15 years 7 months ago
Techniques for Recognizing Textual Entailment and Semantic Equivalence
After defining what is understood by textual entailment and semantic equivalence, the present state and the desirable future of the systems aimed at recognizing them is shown. A c...
Jesús Herrera, Anselmo Peñas, Felisa...