Sciweavers

78 search results - page 11 / 16
» Church Synthesis Problem with Parameters
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
13 years 2 months ago
On parameterized Lyapunov and control Lyapunov functions for discrete-time systems
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
Mircea Lazar, Rob H. Gielen
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
14 years 28 days ago
Preventing overfitting in GP with canary functions
Overfitting is a fundamental problem of most machine learning techniques, including genetic programming (GP). Canary functions have been introduced in the literature as a concept ...
Nate Foreman, Matthew P. Evett
RT
1998
Springer
13 years 11 months ago
Interactively Modeling with Photogrammetry
We describe an interactive system to reconstruct 3D geometry and extract textures from a set of photographs taken with arbitrary camera parameters. The basic idea is to let the use...
Pierre Poulin, Mathieu Ouimet, Marie-Claude Frasso...
GPEM
2000
126views more  GPEM 2000»
13 years 7 months ago
Automatic Creation of Human-Competitive Programs and Controllers by Means of Genetic Programming
Genetic programming is an automatic method for creating a computer program or other complex structure to solve a problem. This paper first reviews various instances where genetic p...
John R. Koza, Martin A. Keane, Jessen Yu, Forrest ...
ICPR
2008
IEEE
14 years 1 months ago
Illumination transition image: Parameter-based illumination estimation and re-rendering
Varying illumination condition is a challenging problem for face recognition and synthesis. The illumination re-rendering technique allows aligning the illumination effects of fac...
Jianyi Liu, Nanning Zheng, Lei Xiong, Gaofeng Meng...