Sciweavers

2646 search results - page 133 / 530
» Local Type Inference
Sort
View
AAAI
1990
15 years 5 months ago
Exploiting Locality in a TMS
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
Johan de Kleer
BIOINFORMATICS
2002
100views more  BIOINFORMATICS 2002»
15 years 4 months ago
Optimal algorithms for local vertex quartet cleaning
Reconstructing evolutionary trees is an important problem in biology. A response to the computational intractability of most of the traditional criteria for inferring evolutionary...
Gianluca Della Vedova, Todd Wareham
MIDDLEWARE
2010
Springer
15 years 2 months ago
dFault: Fault Localization in Large-Scale Peer-to-Peer Systems
Distributed hash tables (DHTs) have been adopted as a building block for large-scale distributed systems. The upshot of this success is that their robust operation is even more imp...
Pawan Prakash, Ramana Rao Kompella, Venugopalan Ra...
ICCV
2009
IEEE
15 years 2 months ago
Structural SVM for visual localization and continuous state estimation
We present an integrated model for visual object localization and continuous state estimation in a discriminative structured prediction framework. While existing discriminative `p...
Catalin Ionescu, Liefeng Bo, Cristian Sminchisescu
ICCV
2003
IEEE
16 years 6 months ago
Image Registration with Global and Local Luminance Alignment
Inspired by tensor voting, we present luminance voting, a novel approach for image registration with global and local luminance alignment. The key to our modeless approach is the ...
Jiaya Jia, Chi-Keung Tang