Sciweavers

1689 search results - page 65 / 338
» On Natural Non-dcpo Domains
Sort
View
OWLED
2007
15 years 7 months ago
Lege Feliciter: Using Structured English to represent a Topographic Hydrology Ontology
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
Glen Hart, Catherine Dolbear, John Goodwin
JURIX
2008
15 years 7 months ago
Concept and Context in Legal Information Retrieval
Abstract. There exist two broad approaches to information retrieval (IR) in the legal domain: those based on manual knowledge engineering (KE) and those based on natural language p...
K. Tamsin Maxwell, Burkhard Schafer
CACM
2005
74views more  CACM 2005»
15 years 6 months ago
Separate handles from names on the internet
Networked communications inherently depend on the ability of the sender of a message to indicate through some token how the message should be delivered to a particular recipient. ...
Michael J. O'Donnell
DCC
2008
IEEE
15 years 8 months ago
Rate Bounds on SSIM Index of Quantized Image DCT Coefficients
In this paper, we derive bounds on the Structural SIMilarity (SSIM) Index as a function of quantization rate for fixed-rate uniform quantization of image discrete cosine transform...
Sumohana S. Channappayya, Alan C. Bovik, Robert W....
IWFM
2000
107views Formal Methods» more  IWFM 2000»
15 years 7 months ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
A. J. Currie