Sciweavers

996 search results - page 83 / 200
» Synthesis of Mechanical Structures Using a Genetic Algorithm
Sort
View
WWW
2009
ACM
15 years 10 months ago
General auction mechanism for search advertising
In sponsored search, a number of advertising slots is available on a search results page, and have to be allocated among a set of advertisers competing to display an ad on the pag...
Dávid Pál, Gagan Aggarwal, Martin P&...
SMA
2009
ACM
157views Solid Modeling» more  SMA 2009»
15 years 4 months ago
Constraint-based model synthesis
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
Paul Merrell, Dinesh Manocha
CADE
2010
Springer
14 years 11 months ago
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
Markus Aderhold
IPPS
2002
IEEE
15 years 3 months ago
A New Estimation Method for Distributed Java Object Activity
We introduce a new method to estimate the Java object activity in a distributed context of irregular applications. This method uses an observation mechanism which is itself a part...
Amer Bouchi, Richard Olejnik, Bernard Toursel
92
Voted
GECCO
2007
Springer
186views Optimization» more  GECCO 2007»
15 years 4 months ago
Knowledge reuse in genetic programming applied to visual learning
We propose a method of knowledge reuse for an ensemble of genetic programming-based learners solving a visual learning task. First, we introduce a visual learning method that uses...
Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wie...