Sciweavers

450 search results - page 15 / 90
» Mathematical Formulas Extraction
Sort
View
GECCO
2000
Springer
150views Optimization» more  GECCO 2000»
15 years 5 months ago
Automatic Synthesis of Electrical Circuits Containing a Free Variable Using Genetic Programming
A mathematical formula containing one or more free variables is "general" in the sense that it represents the solution to all instances of a problem (instead of just the...
John R. Koza, Martin A. Keane, Jessen Yu, William ...
SMA
2010
ACM
219views Solid Modeling» more  SMA 2010»
15 years 2 months ago
Barycentric interpolation and mappings on smooth convex domains
In a recent paper, Warren, Schaefer, Hirani, and Desbrun proposed a simple method of interpolating a function defined on the boundary of a smooth convex domain, using an integral ...
Michael S. Floater, Jirí Kosinka
ALGORITHMICA
2007
93views more  ALGORITHMICA 2007»
15 years 2 months ago
Random 2-SAT with Prescribed Literal Degrees
Two classic “phase transitions” in discrete mathematics are the emergence of a giant component in a random graph as the density of edges increases, and the transition of a rand...
Colin Cooper, Alan M. Frieze, Gregory B. Sorkin
TOPNOC
2008
15 years 2 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
PODS
2004
ACM
139views Database» more  PODS 2004»
16 years 2 months ago
On Preservation under Homomorphisms and Unions of Conjunctive Queries
Unions of conjunctive queries, also known as select-project-join-union queries, are the most frequently asked queries in relational database systems. These queries are definable b...
Albert Atserias, Anuj Dawar, Phokion G. Kolaitis