1542 search results - page 224 / 309 » Kernelization of packing problems |
119
click to vote
FGR
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper presents a face verification framework for fusing matching scores that measure similarities of local facial features. The framework is aimed to handle an openset verifi...
110
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--We give sublinear-time approximation algorithms for some optimization problems arising in machine learning, such as training linear classifiers and finding minimum enclos...
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
CAGD
2007
15 years 2 months ago
2007
The extraction of curvature information for surfaces is a basic problem of Geometry Processing. Recently an integral invariant solution of this problem was presented, which is bas...
123
click to vote
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...