5255 search results - page 332 / 1051 » Formal Methods for Privacy |
138
click to vote
CLOR
2006
15 years 8 months ago
2006
Recent advances in object recognition have emphasized the integration of intensity-derived features such as affine patches with associated geometric constraints leading to impressi...
137
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
ACL
2006
15 years 6 months ago
2006
We propose in this paper a method for quantifying sentence grammaticality. The approach based on Property Grammars, a constraint-based syntactic formalism, makes it possible to ev...
121
click to vote
CATS
2006
15 years 6 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
113
click to vote
IJCAI
1997
15 years 6 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...