Sciweavers

6274 search results - page 554 / 1255
» From query complexity to computational complexity
Sort
View
FLAIRS
2004
15 years 8 months ago
Aperiodic Dynamics and the Self-Organization of Cognitive Maps in Autonomous Agents
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
Derek Harter, Robert Kozma
FOSSACS
2010
Springer
16 years 1 months ago
Counting CTL
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
François Laroussinie, Antoine Meyer, Eudes ...
ICASSP
2009
IEEE
16 years 1 months ago
Inpainting with sparse linear combinations of exemplars
We introduce a new exemplar-based inpainting algorithm that represents the region to be inpainted as a sparse linear combination of example blocks, extracted from the image being ...
Brendt Wohlberg
IWOCA
2009
Springer
132views Algorithms» more  IWOCA 2009»
16 years 1 months ago
Fast Convolutions and Their Applications in Approximate String Matching
We develop a method for performing boolean convolutions efficiently in word RAM model of computation, having a word size of w = Ω(log n) bits, where n is the input size. The tech...
Kimmo Fredriksson, Szymon Grabowski
ECAL
2007
Springer
16 years 1 months ago
Simulations of Simulations in Evolutionary Robotics
Abstract. In recent years simulation tools for agent-environment interactions have included increasingly complex and physically realistic conditions. These simulations pose challen...
Edgar Bermudez Contreras, Anil K. Seth