2702 search results - page 255 / 541 » Practically Applicable Formal Methods |
SIAMMAX
2011
14 years 9 months ago
2011
Rational eigenvalue problems (REPs) are an emerging class of nonlinear eigenvalue problems that arise from a variety of physical applications. In this paper, we propose a lineariz...
FPL
2009
Springer
15 years 7 months ago
2009
Springer
The reconfigurable mesh model for massively parallel computing has recently been rediscovered and proposed as the basis of a practical many-core architecture. With this paper, we...
105
click to vote
SMILE
1998
Springer
15 years 6 months ago
1998
Springer
It has been known since the work of Carlsson and Weinshall that there is a dualization principle that allows one to interchange the role of points being viewed by several cameras ...
119
click to vote
GFKL
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we present an application of single cluster visualization (SCV) a technique to visualize single clusters of high-dimensional data. This method maps a single cluster t...
124
click to vote
JMLR
2006
15 years 2 months ago
2006
We present worst case bounds for the learning rate of a known prediction method that is based on hierarchical applications of binary context tree weighting (CTW) predictors. A heu...