1054 search results - page 176 / 211 » From a Verified Kernel towards Verified Systems |
137
click to vote
SP
2008
IEEE
15 years 12 days ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
114
click to vote
TCS
2010
15 years 9 days ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
110
click to vote
ACL
2010
14 years 12 months ago
2010
This paper proposes a dependency parsing method that uses bilingual constraints to improve the accuracy of parsing bilingual texts (bitexts). In our method, a targetside tree frag...
121
click to vote
ACIVS
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Following a review of current hidden objects detection techniques in a range of security applications, a strategy based on an innovative, low-cost photometric stereo tech...
115
click to vote
DOLAP
2010
ACM
14 years 11 months ago
2010
ACM
Object identification is a crucial step in most information systems. Nowadays, we have many different ways to identify entities such as surrogates, keys and object identifiers. Ho...