14078 search results - page 1954 / 2816 » Design and Analysis of Computer Algorithms |
180
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
190
Voted
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
This paper introduces an approach for enabling existing multi-view stereo methods to operate on extremely large unstructured photo collections. The main idea is to decompose the c...
191
click to vote
STACS
2010
Springer
16 years 2 months ago
2010
Springer
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has bee...
195
Voted
DCC
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper focuses on optimal analog mappings for zero-delay, distributed source-channel coding. The objective is to obtain the optimal vector transformations that map between m-d...
228
Voted
UIC
2009
Springer
16 years 2 months ago
2009
Springer
The Smart Surface1 project aims at designing an integrated micro-manipulator based on an array of micromodules connected with a 2D array topology network. Each micromodule comprise...