Sciweavers

36781 search results - page 297 / 7357
» Parameterizing by the Number of Numbers
Sort
View
GECCO
2004
Springer
116views Optimization» more  GECCO 2004»
15 years 11 months ago
Using Genetic Programming to Obtain a Closed-Form Approximation to a Recursive Function
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
Evan Kirshenbaum, Henri Jacques Suermondt
LICS
2000
IEEE
15 years 10 months ago
Complete Axioms for Categorical Fixed-Point Operators
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
Alex K. Simpson, Gordon D. Plotkin
CP
2000
Springer
15 years 10 months ago
New Search Heuristics for Max-CSP
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
Kalev Kask
194
Voted
HUMO
2007
Springer
15 years 10 months ago
Efficient Upper Body Pose Estimation from a Single Image or a Sequence
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...
Matheen Siddiqui, Gérard G. Medioni
BROADNETS
2004
IEEE
15 years 10 months ago
Science of Continuous Media Application Design in Wireless Networks of Mobile Devices
Display of continuous media using self-organizing ad hoc networks of wireless communication systems will potentially be used in a variety of applications. Example deployments migh...
Shahram Ghandeharizadeh