Sciweavers

68 search results - page 4 / 14
» Design and Primitive Specification for Shannon
Sort
View
SIGCSE
1999
ACM
93views Education» more  SIGCSE 1999»
13 years 11 months ago
Patterns for decoupling data structures and algorithms
In order to build a data structure that is extensible and reusable, it is necessary to decouple the intrinsic and primitive behavior of the structure from the application specific...
Dung Zung Nguyen, Stephen B. Wong
CORR
2010
Springer
120views Education» more  CORR 2010»
13 years 6 months ago
State machine models of timing and circuit design
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
Victor Yodaiken
EKAW
1992
Springer
13 years 10 months ago
Knowledge Acquisition for Explainable, Multi-Expert, Knowledge-Based Design Systems
In order to help the knowledge engineer and the expert during knowledge acquisition phase, the ACACIA Group is working on a knowledge acquisition methodology and tool (KATEMES)all...
Rose Dieng, Alain Giboin, Paul-André Tourti...
EDBT
2002
ACM
138views Database» more  EDBT 2002»
14 years 6 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
DEBU
2002
120views more  DEBU 2002»
13 years 6 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks