Sciweavers

769 search results - page 65 / 154
» Action Research
Sort
View
REX
1989
13 years 11 months ago
METATEM: A Framework for Programming in Temporal Logic
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
Howard Barringer, Michael Fisher, Dov M. Gabbay, G...
HCI
2007
13 years 9 months ago
Challenges and Solutions of Multilingual and Translingual Information Service Systems
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...
Hans Uszkoreit, Feiyu Xu, Weiquan Liu
EUROMED
2010
13 years 6 months ago
Teleimmersive Archaeology: Simulation and Cognitive Impact
Abstract. In this paper we present the framework for collaborative cyberarchaeology with support for teleimmersive communication which aims to provide more natural interaction and ...
Maurizio Forte, Gregorij Kurillo, Teenie Matlock
IWRIDL
2006
ACM
158views Education» more  IWRIDL 2006»
14 years 1 months ago
Document image analysis for digital libraries
Digital Libraries have many forms – institutional libraries for information dissemination, document repositories for recordkeeping, and personal digital libraries for organizing...
Prateek Sarkar
AIIDE
2008
13 years 10 months ago
Adaptive Spatial Reasoning for Turn-based Strategy Games
The quality of AI opponents often leaves a lot to be desired, which poses many attractive challenges for AI researchers. In this respect, Turn-based Strategy (TBS) games are of pa...
Maurice H. J. Bergsma, Pieter Spronck