Sciweavers

644 search results - page 38 / 129
» Graph structured program evolution
Sort
View
CP
2009
Springer
16 years 16 days ago
Exploiting Problem Structure for Solution Counting
This paper deals with the challenging problem of counting the number of solutions of a CSP, denoted #CSP. Recent progress have been made using search methods, such as BTD [15], whi...
Aurélie Favier, Philippe Jégou, Simo...
CORR
2011
Springer
215views Education» more  CORR 2011»
14 years 3 months ago
Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives
We present an approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semidefinite objective functions and global linear constraints. Thi...
Venkatesan Guruswami, Ali Kemal Sinop
ICCV
2003
IEEE
16 years 1 months ago
Automatic Video Summarization by Graph Modeling
We propose a unified approach for summarization based on the analysis of video structures and video highlights. Our approach emphasizes both the content balance and perceptual qua...
Chong-Wah Ngo, Yu-Fei Ma, HongJiang Zhang
GECCO
2007
Springer
213views Optimization» more  GECCO 2007»
15 years 3 months ago
Aspects of adaptation in natural and artificial evolution
This work addresses selected aspects of natural evolution, especially of the field of population genetics, that are considered to be meaningful for algorithmic further development...
Michael Affenzeller, Stefan Wagner 0002, Stephan M...
ENTCS
2007
103views more  ENTCS 2007»
14 years 12 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal