809 search results - page 161 / 162 » Similarity, topology, and uniformity |
IGPL
2008
13 years 7 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
NOCS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Networks-on-Chip (NoC) have emerged as a replacement for traditional shared-bus designs for on-chip communications. As with all current VLSI designs, however, reducing po...
CLEF
2009
Springer
13 years 5 months ago
2009
Springer
The robot vision task has been proposed to the ImageCLEF participants for the first time in 2009. The task attracted a considerable attention, with 19 inscribed research groups, 7...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
With the adoption of ultra regular fabric paradigms for controlling design printability at the 22nm node and beyond, there is an emerging need for a layout-driven, pattern-based p...
TIP
2010
13 years 2 months ago
2010
Camera networks are being deployed for various applications like security and surveillance, disaster response and environmental modeling. However, there is little automated process...