1178 search results - page 151 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
153
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Ordered Binary Decision Diagrams (BDDs) are frequently used in logic synthesis. In this paper a new exact BDD minimization algorithm is presented, which is based on state space se...
146
click to vote
NDJFL
2000
15 years 6 months ago
2000
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...
144
click to vote
ICDAR
1999
IEEE
15 years 10 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
158
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
175
click to vote
ESWS
2009
Springer
16 years 23 days ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...