Sciweavers

1400 search results - page 137 / 280
» Dynamic Galois Theory
Sort
View
DALT
2006
Springer
15 years 3 months ago
When Agents Communicate Hypotheses in Critical Situations
This paper discusses the problem of efficient propagation of uncertain information in dynamic environments and critical situations. When a number of (distributed) agents have only ...
Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson
ICALP
2000
Springer
15 years 3 months ago
Average Bit-Complexity of Euclidean Algorithms
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
Ali Akhavi, Brigitte Vallée
UMC
2000
15 years 2 months ago
Upper and Lower Bounds on Continuous-Time Computation
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
Manuel Lameiras Campagnolo, Cristopher Moore
FLAIRS
2008
15 years 1 months ago
Causal Reasoning with Contexts Using Dependent Types
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
Richard Dapoigny, Patrick Barlatier
ECAL
2005
Springer
15 years 1 months ago
From the Inside Looking Out: Self Extinguishing Perceptual Cues and the Constructed Worlds of Animats
Jakob von Uexk¨ull’s theory of the Umwelt is described and it is used to show how perceptual states can be defined. It is described how perceptual cues are selected over evolut...
Ian Macinnes, Ezequiel A. Di Paolo