6656 search results - page 46 / 1332 » Change, Change, Change: Three Approaches |
ICSE
1993
IEEE-ACM
14 years 3 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
ESAS
2007
Springer
14 years 3 months ago
2007
Springer
The promise of vehicular communications is to make road traffic safer and more efficient. However, besides the expected benefits, vehicular communications also introduce some priva...
SIAMDM
2008
13 years 11 months ago
2008
We study the variety of subtrees lying on the fringe of recursive trees and binary search trees by analyzing the distributional behavior of Xn,k, which counts the number of subtree...
MOC
2010
13 years 6 months ago
2010
In this paper, we propose an original optimization approach for reconstructing interface changes of a conductivity inclusion from measurements of eigenvalues and eigenvectors asso...
ICPR
2008
IEEE
14 years 5 months ago
2008
IEEE
In the paper we propose a novel multi-layer Mixed Markov model for detecting relevant changes in registered aerial images taken with significant time differences. The introduced ...