Sciweavers

7206 search results - page 1048 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 10 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed
CSMR
2009
IEEE
15 years 9 months ago
Discovering Comprehension Pitfalls in Class Hierarchies
Despite many advances in program comprehension, polymorphism and inheritance are still the cause of many misunderstandings in object-oriented code. In this paper, we present a sui...
Petru Florin Mihancea, Radu Marinescu
ICTAI
2000
IEEE
15 years 9 months ago
Self-optimising CBR retrieval
One reason why Case-Based Reasoning (CBR) has become popular is because it reduces development cost compared to rule-based expert systems. Still, the knowledge engineering effort ...
Jacek Jarmulak, Susan Craw, Ray Rowe
IWANN
1999
Springer
15 years 9 months ago
Applying Ontology to the Web: A Case Study
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...
Jeff Heflin, James A. Hendler, Sean Luke
AMTA
1998
Springer
15 years 9 months ago
A Modular Approach to Spoken Language Translation for Large Domains
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,...
Monika Woszczyna, Matthew Broadhead, Donna Gates, ...
« Prev « First page 1048 / 1442 Last » Next »