Sciweavers

1018 search results - page 89 / 204
» Property Testing in Computational Geometry
Sort
View
GECCO
2005
Springer
158views Optimization» more  GECCO 2005»
14 years 4 months ago
A genetic algorithm approach to the selection of near-optimal subsets from large sets
The problem attempted in this paper is to select a sample from a large set where the sample is required to have a particular average property. The problem can be expressed as an o...
P. Whiting, P. W. Poon, J. N. Carter
DAC
2010
ACM
14 years 3 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
RECOMB
2004
Springer
14 years 11 months ago
Interface surfaces for protein-protein complexes
Protein-protein interactions, which form the basis for most cellular processes, result in the formation of protein interfaces. Believing that the local shape of proteins is crucia...
Yih-En Andrew Ban, Herbert Edelsbrunner, Johannes ...
NPAR
2004
ACM
14 years 4 months ago
Ryan: rendering your animation nonlinearly projected
Artistic rendering is an important research area in Computer Graphics, yet relatively little attention has been paid to the projective properties of computer generated scenes. Mot...
Patrick Coleman, Karan Singh
SIGGRAPH
1999
ACM
14 years 3 months ago
Graphical Modeling and Animation of Brittle Fracture
In this paper, we augment existing techniques for simulating flexible objects to include models for crack initiation and propagation in three-dimensional volumes. By analyzing th...
James F. O'Brien, Jessica K. Hodgins