Sciweavers

4099 search results - page 408 / 820
» A Framework for Interactive Proof
Sort
View
ACMACE
2007
ACM
15 years 10 months ago
Capture the flag: simulating a location-based mobile game using the wizard-of-oz method
We present a wizard of Oz framework for the simulation of locationbased mobile games. We explore briefly the methodological concept of Wizard of Oz and show, based on a case study...
Regina Bernhaupt, Stefan Jenisch, York Keyser, Man...
HYBRID
2007
Springer
15 years 10 months ago
Solving Coverage Problems with Embedded Graph Grammars
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
John-Michael McNew, Eric Klavins, Magnus Egerstedt
CHI
1995
ACM
15 years 10 months ago
Space-Scale Diagrams: Understanding Multiscale Interfaces
Big information worlds cause big problems for interfaces. There is too much to see. They are hard to navigate. An armada of techniques has been proposed to present the many scales...
George W. Furnas, Benjamin B. Bederson
SI3D
1995
ACM
15 years 10 months ago
Behavioral Control for Real-Time Simulated Human Agents
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
John P. Granieri, Welton Becket, Barry D. Reich, J...
ACL
2006
15 years 8 months ago
Integrated Morphological and Syntactic Disambiguation for Modern Hebrew
Current parsing models are not immediately applicable for languages that exhibit strong interaction between morphology and syntax, e.g., Modern Hebrew (MH), Arabic and other Semit...
Reut Tsarfaty