10916 search results - page 19 / 2184 » On Constructive Connectives and Systems |
POPL
2007
ACM
14 years 10 months ago
2007
ACM
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
ICRA
1995
IEEE
14 years 1 months ago
1995
IEEE
2 Multi-view Integration: A Review We address the problem of constructing a boundary model of an object when the input consists of a set of points that lie on its surface. We assum...
SIAMCOMP
2002
13 years 9 months ago
2002
Given a set V of n points in Rd and a real constant t > 1, we present the first O(n log n)-time algorithm to compute a geometric t-spanner on V . A geometric t-spanner on V is a...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
— Medard, Finn, Barry and Gallager proposed an elegant recovery scheme (known as the MFBG scheme) using redundant trees. Xue, Chen and Thulasiraman extended the MFBG scheme and i...
CADE
2001
Springer
14 years 10 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...