2344 search results - page 222 / 469 » Generating from a Deep Structure |
131
Voted
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
136
Voted
P2P
2005
IEEE
15 years 9 months ago
2005
IEEE
Structured peer-to-peer overlay networks are now an established paradigm for implementing a wide range of distributed services. While the problem of maintaining these networks in ...
81
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
The Wang Notation Tool (WNT) is a semiautomatic, interactive tool that converts tables to Wang notation ? a layout independent representation of tables where all relationships bet...
KI
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we first review our work in the domain of dextrous manipulation, where we introduced Manipulation Manifolds – a highly structured manifold representation of hand ...
114
click to vote
HOTI
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper we describe QsNetIII , an adaptively routed network for High Performance Computing (HPC) applications. We detail the structure of the network, the evolution of our...