3047 search results - page 75 / 610 » On the Meaning of Logical Completeness |
172
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
176
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
162
click to vote
CIVR
2005
Springer
15 years 11 months ago
2005
Springer
In the paper, we proposed a novel feature descriptor using over-complete wavelet transform and wavelet domain based fractal signature for texture image analysis and retrieval. Trad...
462
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
198
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...