Sciweavers

2200 search results - page 152 / 440
» The Generalized Pignistic Transformation
Sort
View
FM
1999
Springer
104views Formal Methods» more  FM 1999»
14 years 3 months ago
On Excusable and Inexcusable Failures
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
Markus Müller-Olm, Andreas Wolf
POPL
1998
ACM
14 years 3 months ago
Maximal Static Expansion
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
Denis Barthou, Albert Cohen, Jean-Francois Collard
SCALESPACE
1997
Springer
14 years 2 months ago
Invertible Orientation Bundles on 2D Scalar Images
A general approach for multiscale orientation analysis of 2D scalar images is proposed. A scale-dependent orientation bundle (map of the visual space into function of two arguments...
Stiliyan Kalitzin, Bart M. ter Haar Romeny, Max A....
WLP
1997
Springer
14 years 2 months ago
Extending Homeomorphic Embedding in the Context of Logic Programming
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...
Michael Leuschel
ICCD
1994
IEEE
142views Hardware» more  ICCD 1994»
14 years 2 months ago
Grammar-Based Optimization of Synthesis Scenarios
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
Andreas Kuehlmann, Lukas P. P. P. van Ginneken