2409 search results - page 172 / 482 » Logical systems for structured specifications |
187
click to vote
TOG
2008
15 years 6 months ago
2008
We introduce a computational framework for discovering regular or repeated geometric structures in 3D shapes. We describe and classify possible regular structures and present an e...
190
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
159
click to vote
FCCM
1999
IEEE
15 years 10 months ago
1999
IEEE
Technology scaling of CMOS processes brings relatively faster transistors (gates) and slower interconnects (wires), making viable the addition of reconfigurability to increase per...
159
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
166
click to vote
HT
2000
ACM
15 years 11 months ago
2000
ACM
Hypermedia structured in terms of the higher-level intent of its author can be adapted to a wider variety of final presentations. Many multimedia systems encode such highlevel int...