549 search results - page 52 / 110 » Verification condition generation for conditional informatio... |
222
Voted
POPL
2003
ACM
16 years 27 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
148
click to vote
AVBPA
2005
Springer
15 years 6 months ago
2005
Springer
Pose and illumination changes from picture to picture are two main barriers toward full automatic face recognition. In this paper, a novel method to handle both pose and lighting c...
94
Voted
SIAMCO
2002
15 years 7 days ago
2002
In this paper we give sufficient conditions for a bang-bang regular extremal to be a strong local optimum for a control problem in the Mayer form; strong means that we consider the...
92
Voted
NOMS
2000
IEEE
15 years 5 months ago
2000
IEEE
Simple Integrated Media Access (SIMA) is a differentiated service scheme based on drop preference bits in every packet. The basic idea of the SIMA is to maximize the exploitation ...
110
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...