Sciweavers

3482 search results - page 265 / 697
» In Praise of Numerical Computation
Sort
View
ARTS
1999
Springer
15 years 11 months ago
Specifying Performance Measures for PEPA
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
Graham Clark, Stephen Gilmore, Jane Hillston
ICCVW
1999
Springer
15 years 11 months ago
Bundle Adjustment - A Modern Synthesis
This paper is a survey of the theory and methods of photogrammetric bundle adjustment, aimed at potential implementors in the computer vision community. Bundle adjustment is the p...
Bill Triggs, Philip F. McLauchlan, Richard I. Hart...
IPPS
1993
IEEE
15 years 10 months ago
Supporting Insertions and Deletions in Striped Parallel Filesystems
The dramatic improvements in the processing rates of parallel computers are turning many compute-bound jobs into IO-bound jobs. Parallel le systems have been proposed to better ma...
Theodore Johnson
DAC
1993
ACM
15 years 10 months ago
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping
The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions th...
Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao...
ACCV
2006
Springer
15 years 10 months ago
Multiple Similarities Based Kernel Subspace Learning for Image Classification
Abstract. In this paper, we propose a new method for image classification, in which matrix based kernel features are designed to capture the multiple similarities between images in...
Wang Yan, Qingshan Liu, Hanqing Lu, Songde Ma