Sciweavers

3071 search results - page 152 / 615
» Explanatory Design Theory
Sort
View
MM
2004
ACM
90views Multimedia» more  MM 2004»
15 years 11 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 10 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 10 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 9 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 9 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