1209 search results - page 191 / 242 » Approximation by pseudo-linear operators |
172
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
154
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Regeneration of biometric templates from match scores has security and privacy implications related to any biometric based authentication system. In this paper, we propose a novel...
153
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Estimating the result size of complex queries that involve selection on multiple attributes and the join of several relations is a difficult but fundamental task in database query...
197
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
There is a growing interest in on-line algorithms for analyzing and querying data streams, that examine each stream element only once and have at their disposal, only a limited amo...
196
click to vote
ICDE
2010
IEEE
16 years 22 days ago
2010
IEEE
— Finding the k nearest neighbors (kNN) of a query point, or a set of query points (kNN-Join) are fundamental problems in many application domains. Many previous efforts to solve...