3224 search results - page 360 / 645 » Abstract Error Projection |
149
click to vote
FMCAD
2007
Springer
16 years 23 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
173
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We consider a physical model of ultrafast evolution of an initial electron distribution in a quantum wire. The electron evolution is described by a quantum-kinetic equati...
151
click to vote
PKC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose multi-bit versions of several single-bit cryptosystems based on lattice problems, the error-free version of the Ajtai-Dwork cryptosystem by Goldreich, Goldwass...
157
click to vote
SAT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
144
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Based on a new, general formulation of the geometric method of moving frames, invariantization of numerical schemes has been established during the last years as a powerf...