933 search results - page 103 / 187 » Extending Forward Checking |
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
108
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
73
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper presents an improved technique for determining the 3D structure of the human face form stereo images. The approach targets specific regions of the face individually. An...
166
Voted
SIGMOD
2008
ACM
16 years 29 days ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
84
Voted
ICSE
2003
IEEE-ACM
16 years 28 days ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...