3113 search results - page 163 / 623 » Numerical Methods |
160
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
167
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
157
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
Learning vector quantization (LVQ) constitutes a powerful and intuitive method for adaptive nearest prototype classification. However, original LVQ has been introduced based on he...
161
click to vote
PRL
2002
15 years 6 months ago
2002
A new method of kernel density estimation with a varying adaptive window size is proposed. It is based on the socalled intersection of confidence intervals (ICI) rule. Several exa...
171
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
This paper proposes a metric learning based approach for human activity recognition with two main objectives: (1) reject unfamiliar activities and (2) learn with few examples. We s...