1717 search results - page 329 / 344 » A Computable Spectral Theorem |
85
Voted
RTA
2005
Springer
15 years 5 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
104
click to vote
SAC
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
105
click to vote
PPOPP
2003
ACM
15 years 5 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
103
click to vote
ICCSA
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a system to create animated 3D scenes of car accidents from written reports. The text-to-scene conversion process consists of two stages. An information extrac...
107
click to vote
IMR
2003
Springer
15 years 5 months ago
2003
Springer
We present a new mesh warping algorithm for tetrahedral meshes based upon weighted laplacian smoothing. We start with a 3D domain which is bounded by a triangulated surface mesh a...