3007 search results - page 10 / 602 » Linear Functional Fixed-points |
108
click to vote
AML
2004
15 years 2 months ago
2004
The standard method of generating countable ordinals from uncountable ordinals can be replaced by a use of fixed point extractors available in the term calculus of Howard's s...
122
click to vote
CG
2004
Springer
15 years 2 months ago
2004
Springer
The Binet formula gives a natural way for Fibonacci numbers to be viewed as a function of a complex variable. We experimentally study the complex dynamics of the Fibonacci numbers...
124
Voted
ENTCS
2006
15 years 2 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
141
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
It is possible for a GA to have two stable fixed points on a single-peak fitness landscape. These can correspond to meta-stable finite populations. This phenomenon is called bis...
106
Voted
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
This paper presents a decentralized approach to multiple target tracking. The novelty of this approach lies in the use of a set of autonomous while collaborative trackers to overc...