Sciweavers

1188 search results - page 133 / 238
» States of Knowledge
Sort
View
DLOG
2004
15 years 12 days 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
CARS
2003
15 years 11 days 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
PUK
2001
15 years 11 days 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 5 days 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
63
Voted
LFP
1990
96views more  LFP 1990»
15 years 4 days 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