4987 search results - page 29 / 998 » Support Ordered Resolution |
FTP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
85
Voted
MM
1995
ACM
15 years 1 months ago
1995
ACM
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...
ACL
1998
14 years 11 months ago
1998
In this paper we deal with several kinds of anaphora in unrestricted texts. These kinds of anaphora are pronominal references, surfacecount anaphora and one-anaphora. In order to ...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper presents a new method for extracting roads in Very High Resolution remotely sensed images based on advanced directional morphological operators. The proposed approach i...
104
click to vote
STOC
2012
ACM
13 years 5 days ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...