5809 search results - page 812 / 1162 » On Quantifying Semantic Information |
198
Voted
ASWEC
2000
IEEE
16 years 4 hour ago
2000
IEEE
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
225
click to vote
GLVLSI
2000
IEEE
15 years 12 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
176
click to vote
ECOOPW
1999
Springer
15 years 12 months ago
1999
Springer
The GOODLY language can be used to specify the design of systems built according to the Object Oriented paradigm. It was conceived with the main purpose of facilitating the extrac...
226
click to vote
COOPIS
1998
IEEE
15 years 12 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
192
click to vote
IWANN
1999
Springer
15 years 12 months ago
1999
Springer
This paper describes the use of Simple HTML Ontology Extensions (SHOE) in a real world internet application. SHOE allows authors to add semantic content to web pages and to relate...