5165 search results - page 67 / 1033 » Consistency of the Neighbor-Net Algorithm |
141
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
132
Voted
EUROSYS
2009
ACM
15 years 6 months ago
2009
ACM
Weakly consistent replication of data has become increasingly important both for loosely-coupled collections of personal devices and for large-scale infrastructure services. Unfor...
103
Voted
AIPS
2009
15 years 3 months ago
2009
Current state-of-the-art planners solve problems, easy and hard alike, by search, expanding hundreds or thousands of nodes. Yet, given the ability of people to solve easy problems...
99
Voted
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents a new approach for estimating the disparity search range in stereo video that enforces temporal consistency. Reliable search range estimation is very important...
132
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
We address the problem of visual category recognition by learning an image-to-image distance function that attempts to satisfy the following property: the distance between images ...