2903 search results - page 227 / 581 » On the univalence of an integral operator |
169
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
An energy optimization is proposed that addresses the nontrivial digital contribution to power and impact on performance in high-speed mixed-signal circuits. Parallel energy and b...
167
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We propose a new method for removing topological defects in surfaces and volumes segmented from medical images. Unlike current topology correction approaches, we define a...
153
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
165
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
235
click to vote
VLDB
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. We propose a mediator model for providing integrated and unified access to multiple taxonomy-based sources. Each source comprises a taxonomy and a database that indexes o...