1888 search results - page 205 / 378 » Proof theory and computational analysis |
MICS
2007
15 years 10 days ago
2007
Spectra and pseudospectra of matrix polynomials are of interest in geometric intersection problems, vibration problems, and analysis of dynamical systems. In this note we consider ...
98
Voted
BCSHCI
2008
15 years 2 months ago
2008
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
112
Voted
WBIR
2010
SPRINGER
15 years 4 months ago
2010
SPRINGER
Abstract. We introduce a method for volumetric cardiac motion analysis using variational optical flow computation involving the prior with the fractional order differentiations. ...
90
Voted
ISSAC
2009
Springer
15 years 7 months ago
2009
Springer
We describe a new LLL-type algorithm, H-LLL, that relies on Householder transformations to approximate the underlying Gram-Schmidt orthogonalizations. The latter computations are ...
121
Voted
RTA
2007
Springer
15 years 7 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...