15120 search results - page 380 / 3024 » Learning with Local Models |
202
click to vote
P2P
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper we face the following problem: how to provide each peer local access to the full information (not just a summary) that is distributed over all edges of an overlay ...
310
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
211
Voted
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Structured data including sets, sequences, trees and graphs, pose significant challenges to fundamental aspects of data management such as efficient storage, indexing, and simila...
179
Voted
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The task of registering video frames with a static model is a common problem in many computer vision domains. The standard approach to registration involves finding point correspo...
170
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...