4340 search results - page 147 / 868 » Formal Methods and Cryptography |
103
click to vote
ACL
2007
15 years 5 months ago
2007
A key question facing the parsing community is how to compare parsers which use different grammar formalisms and produce different output. Evaluating a parser on the same resource...
148
click to vote
DATESO
2004
15 years 5 months ago
2004
Binary Factor Analysis (BFA, also known as Boolean Factor Analysis) may help with understanding collections of binary data. Since we can take collections of text documents as binar...
123
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
158
Voted
IJSSE
2011
14 years 11 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
152
Voted
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...