Sciweavers

5570 search results - page 660 / 1114
» Applications of Fair Testing
Sort
View
ECAI
1994
Springer
15 years 11 months ago
Interpreting Common Words in Context: a Symbolic Approach
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...
Violaine Prince
ICPP
1992
IEEE
15 years 11 months ago
A unifying Framework for Distributed Routing Algorithms
-- Distributed routing algorithms presented in the literature have tended to be specific to a particular network topology. In order to test the applicability of various routing str...
Alan Rooks, Bruno R. Preiss
CAV
2007
Springer
212views Hardware» more  CAV 2007»
15 years 11 months ago
A Tutorial on Satisfiability Modulo Theories
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
Leonardo Mendonça de Moura, Bruno Dutertre,...
CIARP
2007
Springer
15 years 10 months ago
Information Extraction and Classification from Free Text Using a Neural Approach
Many approaches to Information Extraction (IE) have been proposed in literature capable of finding and extract specific facts in relatively unstructured documents. Their applicatio...
Ignazio Gallo, Elisabetta Binaghi
ECRIME
2007
15 years 10 months ago
A comparison of machine learning techniques for phishing detection
There are many applications available for phishing detection. However, unlike predicting spam, there are only few studies that compare machine learning techniques in predicting ph...
Saeed Abu-Nimeh, Dario Nappa, Xinlei Wang, Suku Na...