Sciweavers

AAI
2010
94views more  AAI 2010»
13 years 6 months ago
Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
Ken Kaneiwa, Norihiro Kamide
AAI
2010
195views more  AAI 2010»
13 years 8 months ago
Automatic Extraction of Go Game Positions from Images: a Multi-Strategical Approach to Constrained Multi-Object Recognition
Here, we present a constrained object recognition task that has been robustly solved largely with simple machine learning methods, using a small corpus of about 100 images taken u...
Alexander K. Seewald
AAI
2010
81views more  AAI 2010»
13 years 10 months ago
Learning to Recognize Missing E-Mail Attachments
Marco Ghiglieri, Johannes Fürnkranz
AAI
2010
200views more  AAI 2010»
13 years 11 months ago
An Interactive Model for Steering Behaviors of Groups of Characters
This paper presents an approach for generating steering behaviors of groups of characters based on the space colonization algorithm, that has been used in the past for generating l...
Rafael Araújo Rodrigues, Alessandro de Lima...
AAI
2010
147views more  AAI 2010»
13 years 11 months ago
Maintaining engagement in Long-Term Interventions with Relational Agents
We discuss issues in designing virtual humans for applications which require long-term voluntary use, and the problem of maintaining engagement with users over time. Concepts and t...
Timothy W. Bickmore, Daniel Schulman, Langxuan Yin
AAI
2010
108views more  AAI 2010»
13 years 11 months ago
Augmenting Subsumption Propagation in Distributed Description Logics
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
Martin Homola, Luciano Serafini