Sciweavers

3637 search results - page 137 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
JAIR
2010
160views more  JAIR 2010»
13 years 7 months ago
Reasoning About the Transfer of Control
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
Wiebe van der Hoek, Dirk Walther, Michael Wooldrid...
AAAI
2007
13 years 11 months ago
Continuous State POMDPs for Object Manipulation Tasks
My research focus is on using continuous state partially observable Markov decision processes (POMDPs) to perform object manipulation tasks using a robotic arm. During object mani...
Emma Brunskill
MKWI
2008
160views Business» more  MKWI 2008»
13 years 10 months ago
Architectural Design of Flexible Process Management Technology
: To provide effective support, process-aware information systems (PAIS) must not freeze existing business processes. Instead they should enable authorized users to deviate on-the-...
Manfred Reichert, Peter Dadam, Martin Jurisch, Ulr...
ICARIS
2005
Springer
14 years 2 months ago
Fugue: An Interactive Immersive Audiovisualisation and Artwork Using an Artificial Immune System
Fugue is the result of a collaboration between artist, musician and computer scientists. The result is an on-going project which provides a new way of communicating complex scienti...
Peter J. Bentley, Gordana Novakovic, Anthony Ruto
CORR
2008
Springer
137views Education» more  CORR 2008»
13 years 11 months ago
Communications in cellular automata
The goal of this paper is to show why the framework of communication complexity seems suitable for the study of cellular automata. Researchers have tackled different algorithmic p...
Eric Goles Ch., Pierre-Etienne Meunier, Ivan Rapap...