593 search results - page 28 / 119 » tools 2011 |
125
click to vote
CRYPTO
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
IAJIT
2011
14 years 6 months ago
2011
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...
98
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The basis of consciousness is an association of notions, the neuronal network. Similarly, the creation of a next generation internet (semantic web) is impossible without attributes...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Spectral factorization is a classical tool in signal processing and communications. It also plays a critical role in X-ray crystallography, in the context of phase retrieval. In t...
ACL
2011
14 years 2 months ago
2011
We address the problem of part-of-speech tagging for English data from the popular microblogging service Twitter. We develop a tagset, annotate data, develop features, and report ...