Sciweavers

1188 search results - page 133 / 238
» States of Knowledge
Sort
View
110
Voted
DLOG
2004
15 years 2 months ago
Local Tableaux for Reasoning in Distributed Description Logics
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
Luciano Serafini, Andrei Tamilin
129
Voted
CARS
2003
15 years 2 months ago
Seeing and understanding 3-d medical images through 2-d renditions
The efficiency of data analysis of 3-d measurement data such as medical images can be enhanced if the expert user is enabled to incorporate his knowledge into the analysis process ...
Klaus D. Tönnies
105
Voted
PUK
2001
15 years 2 months ago
A perspective based approach to design
Urban design is a creative task that demands the balancing of issues from multiple domains such as architecture, zoning laws, traffic planning, and others. As such, classic design ...
Oliver Hoffmann, Markus Stumptner, Talik Chalabi
COLING
1992
15 years 1 months ago
Term-Rewriting As A Basis For A Uniform Architecture In Machine Translation
In machine translation (MT) dierent levels of representation can be used to translate a source language sentence onto its target language equivalent. These levels have to be relat...
Wilhelm Weisweber
73
Voted
LFP
1990
96views more  LFP 1990»
15 years 1 months ago
Comprehending Monads
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970�...
Philip Wadler