5210 search results - page 865 / 1042 » Computing Capabilities of Mediators |
201
click to vote
CADE
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
200
click to vote
EDBT
2012
ACM
13 years 7 months ago
2012
ACM
Record linkage analysis, which matches records referring to the same real world entities from different data sets, is an important task in data integration. Uncertainty often exi...
179
click to vote
CVPR
2000
IEEE
2000
IEEE
Statistical Modeling and Performance Characterization of a Real-Time Dual Camera Surveillance System
16 years 7 months ago
The engineering of computer vision systems that meet application speci c computational and accuracy requirements is crucial to the deployment of real-life computer vision systems....
152
click to vote
ICCV
2001
IEEE
16 years 7 months ago
2001
IEEE
This paper presents a novel modeling algorithm that is capable of simultaneously recovering correct shape geometry as well as its unknown topology from arbitrarily complicated dat...
145
click to vote
RECOMB
2004
Springer
16 years 5 months ago
2004
Springer
Finding recurring residue packing patterns, or spatial motifs, that characterize protein structural families is an important problem in bioinformatics. To this end, we apply a nov...