3047 search results - page 75 / 610 » On the Meaning of Logical Completeness |
DLOG
2007
14 years 1 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...
HPCA
2006
IEEE
14 years 11 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...
CIVR
2005
Springer
14 years 4 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...
146
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
FMCO
2004
Springer
14 years 4 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...