1901 search results - page 92 / 381 » Predicting Program Properties from |
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
151
click to vote
MMSP
2008
IEEE
15 years 5 months ago
2008
IEEE
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
100
Voted
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observ...
114
click to vote
CJ
2004
14 years 11 months ago
2004
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...
ICIP
2009
IEEE
16 years 5 days ago
2009
IEEE
Scale-space representation of an image is a significant way to generate features for classification. However, for a specific classification task, the entire scale-space may not be...