Sciweavers

835 search results - page 22 / 167
» Geometric Logic in Computer Science
Sort
View
FOCS
2006
IEEE
14 years 2 months ago
Dispersion of Mass and the Complexity of Randomized Geometric Algorithms
How much can randomness help computation? Motivated by this general question and by volume computation, one of the few instances where randomness provably helps, we analyze a noti...
Luis Rademacher, Santosh Vempala
MFCS
2000
Springer
14 years 6 days ago
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey
The probability of a property on the collection of all finite relational structures is the limit as
Phokion G. Kolaitis, Moshe Y. Vardi
ERSHOV
2003
Springer
14 years 1 months ago
A Relational Algebra for Functional Logic Deductive Databases
Jesús Manuel Almendros-Jiménez, Anto...
RELMICS
2009
Springer
14 years 1 months ago
Towards Algebraic Separation Logic
Han-Hing Dang, Peter Höfner, Bernhard Mö...
CAD
2007
Springer
13 years 8 months ago
Interpolation by geometric algorithm
We present a novel geometric algorithm to construct a smooth surface that interpolates a triangular or a quadrilateral mesh of arbitrary topological type formed by n vertices. Alt...
Takashi Maekawa, Yasunori Matsumoto, Ken Namiki