Sciweavers

4 search results - page 1 / 1
» On a Fragment of AMSO and Tiling Systems
Sort
View
JAR
2007
104views more  JAR 2007»
13 years 9 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
13 years 10 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
ECAL
2005
Springer
14 years 2 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
14 years 3 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