1722 search results - page 247 / 345 » Variables in Concept Graphs |
150
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
122
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a methodology to transfer self-timed circuit specifications into sequential quantum Boolean circuits (SQBCs) and composable SQBCs (CQBCs). State graphs (SGs) a...
143
click to vote
FCCM
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
141
click to vote
AAIM
2009
Springer
15 years 10 months ago
2009
Springer
We study restricted improvement cycles (ri-cycles) in finite positional n-person games with perfect information modeled by directed graphs (digraphs) that may contain cycles. We o...
134
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we propose a graph-based approach to constructing a multilingual association dictionary from Wikipedia, in which we exploit two kinds of links in Wikipedia articles...