8828 search results - page 1322 / 1766 » Formal methods in practice |
211
click to vote
TOPLAS
2008
15 years 7 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
210
click to vote
JASIS
2000
15 years 6 months ago
2000
s In data mining, we emphasize the need for learning from huge, incomplete and imperfect data sets (Fayyad et al. 1996, Frawley et al. 1991, Piatetsky-Shapiro and Frawley, 1991). T...
181
click to vote
TNN
1998
15 years 6 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper describes in details the first version of Morphonette, a new French morphological resource and a new radically lexeme-based method of morphological analysis. This resea...
207
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...