4352 search results - page 81 / 871 » A Representation Theorem and Applications |
115
Voted
CSL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
121
Voted
COMBINATORICS
1998
15 years 13 days ago
1998
A bivariate symmetric backwards recursion is of the form d[m, n] = w0(d[m− 1, n]+d[m, n−1])+ω1(d[m−r1, n−s1]+d[m−s1, n−r1])+· · ·+ωk(d[m−rk, n−sk] +d[m−sk, ...
VISUALIZATION
2005
IEEE
15 years 6 months ago
2005
IEEE
Curve-skeletons are thinned 1D representations of 3D objects useful for many visualization tasks including virtual navigation, reduced-model formulation, visualization improvement...
104
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
We present an evaluation of four knowledge base systems with respect to use in large Semantic Web applications. We discuss the performance of each system. In particular, we show t...
96
Voted
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
This paper reviews a number of recently developed stereo matching algorithms and representations. It focuses on techniques that are especially well suited for stereoscopic and 3-D...