Sciweavers

1933 search results - page 230 / 387
» A Dynamic Theory of Ontology
Sort
View
ICALP
2000
Springer
14 years 22 days 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
14 years 21 days 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
13 years 11 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
13 years 11 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
FLAIRS
2004
13 years 10 months ago
Knowledge Engineering of Creative Musical Expressions Using Carnatic Music Ideology
The purpose of this paper is to propose a method to analyze creative music expressions of a performer in South Indian Classical Music (Carnatic Music). The method performs a quali...
S. Ganesh Ram, C. T. Palaniappan, M. S. Ramakrishn...