5434 search results - page 738 / 1087 » Semantic information portals |
208
click to vote
GLVLSI
2000
IEEE
15 years 11 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,...
165
click to vote
ECOOPW
1999
Springer
15 years 11 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...
208
click to vote
COOPIS
1998
IEEE
15 years 11 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...
177
click to vote
IWANN
1999
Springer
15 years 11 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...
173
click to vote
AMTA
1998
Springer
15 years 11 months ago
1998
Springer
The MT engine of the Janus speech-to-speech translation system is designed around four main principles: 1 an interlingua approach that allows the e cient addition of new languages,...