Sciweavers

547 search results - page 96 / 110
» Alternate reality gaming
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 3 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
FOSSACS
2007
Springer
15 years 3 months ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
NLDB
2007
Springer
15 years 3 months ago
Automatic Issue Extraction from a Focused Dialogue
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
Koen V. Hindriks, Stijn Hoppenbrouwers, Catholijn ...
CRV
2005
IEEE
166views Robotics» more  CRV 2005»
15 years 3 months ago
Face as Mouse Through Visual Face Tracking
This paper introduces a novel camera mouse driven by 3D model based visual face tracking. While camera becomes standard configuration for personal computer(PC) and computer speed...
Jilin Tu, Thomas S. Huang, Hai Tao
ICCBR
2005
Springer
15 years 2 months ago
On the Effectiveness of Automatic Case Elicitation in a More Complex Domain
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...
Siva N. Kommuri, Jay H. Powell, John D. Hastings