Sciweavers

78 search results - page 11 / 16
» Church Synthesis Problem with Parameters
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 6 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»
15 years 5 months 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
15 years 3 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»
14 years 11 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
15 years 6 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...