620 search results - page 44 / 124 » Likelihood Computations Using Value Abstraction |
ICCBR
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
ENDM
2010
13 years 10 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
PODC
1990
ACM
14 years 1 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
Abstract- We present a novel and computationally simple prediction stage in a Daubechies 5/3 ? like lifting structure for lossless image compression. In the 5/3 wavelet, the predic...
TAMODIA
2007
13 years 11 months ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...