279 search results - page 28 / 56 » Constructive Interval Disjunction |
134
click to vote
MSCS
2007
15 years 1 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
129
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
RIAO
2004
15 years 3 months ago
2004
We present some of the technology developed at StreamSage for indexing and retrieving audio/video data. A primary difficulty of this task is precise extraction of the passages rel...
128
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper initiates the study of sets in Euclidean space Rn (n 2) that are defined in terms of the dimensions of their elements. Specifically, given an interval I [0, 1], we ar...
102
click to vote
CAGD
2007
15 years 1 months ago
2007
In this paper we prove that the degree elevation of B-spline curves can be interpreted as corner cutting process in theory. We also discover the geometric meaning of the auxiliary...