Sciweavers

3071 search results - page 152 / 615
» Explanatory Design Theory
Sort
View
MM
2004
ACM
90views Multimedia» more  MM 2004»
15 years 4 months ago
Learning on location with cinematic narratives
This paper describes a narrative-centered approach to learning using location-aware mobile devices, with theories of learning as the basis for a system that utilizes techniques fr...
Kevin Walker
DOCENG
2003
ACM
15 years 4 months ago
Handling syntactic constraints in a DTD-compliant XML editor
By exploiting the theories of automata and graphs, we propose algorithms and a process for editing valid XML documents [4][5]. The editing process avoids syntactic violations alto...
Y. S. Kuo, Jaspher Wang, N. C. Shih
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 3 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
COSIT
1999
Springer
118views GIS» more  COSIT 1999»
15 years 3 months ago
Agglomerations
Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontolo...
Barry Smith
LILOG
1989
15 years 2 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp