2381 search results - page 276 / 477 » On Ordering Descriptions in a Description Logic |
168
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Data interchange in the form of a standard exchange format(SEF) is only a first step towards tool interoperability. Inter-tool communication using files is slow and cumbersome; a ...
184
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
We examine metadata and data-structure issues for the Historical Newspaper Digital Library. This project proposes to digitize and then do OCR and linguisting processing on several...
163
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
193
click to vote
ISMVL
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, the minimization of incompletely specified multi-valued functions using functional decomposition is discussed. From the aspect of machine learning, learning sample...
165
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...