2381 search results - page 277 / 477 » On Ordering Descriptions in a Description Logic |
158
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Recent results indicate that functional test pattern generation (TPG) techniques may provide better defect coverages than do traditional logic-level techniques. Functional TPG alg...
145
click to vote
ICCAD
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
188
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...
176
click to vote
ACMICEC
2006
ACM
2006
ACM
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
15 years 10 months ago
This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-mar...
178
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...