1888 search results - page 121 / 378 » Proof theory and computational analysis |
89
Voted
SIBGRAPI
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. In this work we study the problem of reconstructing an image from a perceptual segmentation based on a geometric classification of its points using non-linear curvature f...
101
Voted
COMPGEOM
2008
ACM
15 years 2 months ago
2008
ACM
This video presents the working of a new algorithm/software called DelPSC that meshes piecewise smooth complexes in three dimensions with Delaunay simplices. Piecewise smooth comp...
86
Voted
CSR
2008
Springer
15 years 2 months ago
2008
Springer
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
80
Voted
FOCM
2002
15 years 8 days ago
2002
We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of i...
196
Voted
COMMA
2010
14 years 7 months ago
2010
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...