Sciweavers

1643 search results - page 6 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
AIIDE
2007
13 years 9 months ago
Improving Narrative Consistency in Planning-Based Interactive Storytelling
Interactive Storytelling (IS) systems are an emerging class of interactive entertainment applications with emphasis in narrative aspects. This paper deals with stories that have p...
Leandro Motta Barros, Soraia Raupp Musse
ICRA
2006
IEEE
127views Robotics» more  ICRA 2006»
14 years 1 months ago
Contact Consistent Control Framework for Humanoid Robots
Abstract— This paper presents a framework for the dynamical formulation and control of humanoid systems. In this framework unactuated virtual joints are used to describe the huma...
Jaeheung Park, Oussama Khatib
DSN
2006
IEEE
14 years 1 months ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
KBSE
2007
IEEE
14 years 1 months ago
Ensuring consistency in long running transactions
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
Jeffrey Fischer, Rupak Majumdar
FQAS
2006
Springer
186views Database» more  FQAS 2006»
13 years 11 months ago
Project-Join-Repair: An Approach to Consistent Query Answering Under Functional Dependencies
Consistent query answering is the term commonly used for the problem of answering queries on databases that violate certain integrity constraints. We address this problem for univ...
Jef Wijsen