Sciweavers

4 search results - page 1 / 1
» On a Fragment of AMSO and Tiling Systems
Sort
View
164
Voted
JAR
2007
104views more  JAR 2007»
15 years 3 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
COLING
1992
15 years 5 months ago
On Representing the Temporal Structure of a Natural Language Text
A proposal to deal with tenses in the framework of Discourse Representation Theory is presented, ms it has been implemented for a fragment at the IMS for the project LILOG. It is ...
Kurt Eberle
107
Voted
ECAL
2005
Springer
15 years 9 months ago
Self-replication and Evolution of DNA Crystals
Abstract. Is it possible to create a simple physical system that is capable of replicating itself? Can such a system evolve interesting behaviors, thus allowing it to adapt to a wi...
Rebecca Schulman, Erik Winfree
EMSOFT
2007
Springer
15 years 10 months ago
Buffer optimization and dispatching scheme for embedded systems with behavioral transparency
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
Jiwon Hahn, Pai H. Chou