1066 search results - page 102 / 214 » Computing Private Set Operations with Linear Complexities |
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
PPSN
2010
Springer
14 years 8 months ago
2010
Springer
In the paper we propose a new evolutionary algorithm for induction of univariate regression trees that associate leaves with simple linear regression models. In contrast to typical...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The new video coding standard, H.264 allows motion estimation performing on tree-structured block partitioning and multiple reference frames. This feature improves the prediction ...
100
click to vote
TNN
2008
14 years 9 months ago
2008
Abstract--Large-margin methods, such as support vector machines (SVMs), have been very successful in classification problems. Recently, maximum margin discriminant analysis (MMDA) ...