912 search results - page 109 / 183 » Abstract Saturation-Based Inference |
120
click to vote
DASFAA
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. The XML has undoubtedly become a standard for data representation and manipulation. But most of XML documents are still created without the respective description of its ...
AUSAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Although Computed Tomography (CT) is a mature discipline, the development of techniques that will further reduce radiation dose are still essential. This paper makes step...
108
click to vote
EMMCVPR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
118
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
104
click to vote
IDEAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Much work has been done to identify species-specific proteins in sequenced genomes and hence to determine their function. We assumed that such proteins have specific ph...