4352 search results - page 81 / 871 » A Representation Theorem and Applications |
180
click to vote
CSL
2007
Springer
16 years 10 days 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...
179
click to vote
COMBINATORICS
1998
15 years 5 months 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, ...
155
click to vote
VISUALIZATION
2005
IEEE
15 years 11 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...
160
click to vote
WWW
2004
ACM
16 years 6 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...
164
click to vote
ICIP
2000
IEEE
16 years 7 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...