Sciweavers

391 search results - page 41 / 79
» Sortabilities of Partition Properties
Sort
View
97
Voted
GLVLSI
1998
IEEE
169views VLSI» more  GLVLSI 1998»
15 years 5 months ago
On the Characterization of Multi-Point Nets in Electronic Designs
Important layout properties of electronic designs include interconnection length values, clock speed, area requirements, and power dissipation. A reliable estimation of those prop...
Dirk Stroobandt, Fadi J. Kurdahi
84
Voted
ECCV
2006
Springer
16 years 2 months ago
Automatic Image Segmentation by Positioning a Seed
We present a method that automatically partitions a single image into non-overlapping regions coherent in texture and colour. An assumption that each textured or coloured region ca...
Branislav Micusík, Allan Hanbury
106
Voted
DAC
2001
ACM
16 years 1 months ago
Publicly Detectable Techniques for the Protection of Virtual Components
Highlighted with the newly released intellectual property (IP) protection white paper by VSI Alliance, the protection of virtual components (VCs) has received a large amount of at...
Gang Qu
ICFP
2008
ACM
16 years 20 days ago
Functional translation of a calculus of capabilities
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
Arthur Charguéraud, François Pottier
113
Voted
ALT
2007
Springer
15 years 9 months ago
Learning and Verifying Graphs Using Queries with a Focus on Edge Counting
We consider the problem of learning and verifying hidden graphs and their properties given query access to the graphs. We analyze various queries (edge detection, edge counting, sh...
Lev Reyzin, Nikhil Srivastava