Sciweavers

1119 search results - page 159 / 224
» On the Invariance of Ant System
Sort
View
FOSSACS
2008
Springer
14 years 11 months ago
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
Bruno Barras, Bruno Bernardo
NIPS
2008
14 years 11 months ago
Tracking Changing Stimuli in Continuous Attractor Neural Networks
Continuous attractor neural networks (CANNs) are emerging as promising models for describing the encoding of continuous stimuli in neural systems. Due to the translational invaria...
C. C. Alan Fung, K. Y. Michael Wong, Si Wu
UAI
2008
14 years 11 months ago
Sensitivity analysis for finite Markov chains in discrete time
When the initial and transition probabilities of a finite Markov chain in discrete time are not well known, we should perform a sensitivity analysis. This is done by considering a...
Gert De Cooman, Filip Hermans, Erik Quaeghebeur
BMVC
1998
14 years 11 months ago
Recognition of Planar Objects in 3D Space
A technique for recognizing planar objects in three-dimensional space is described. The object's domain is not restricted to purely two-dimensional items but includes fairly ...
H. C. Sim, Robert I. Damper
RIAO
2000
14 years 11 months ago
Image indexation and content based search using pre-attentive similarities
We introduce in this paper the general architecture of an image search engine based on pre-attentive similarities. The components of this system are presented and some of them are...
Alexander Heinrichs, Dimitri Koubaroulis, Barbara ...