Sciweavers

3679 search results - page 689 / 736
» Hybrid Semantic Analysis
Sort
View
CN
2006
117views more  CN 2006»
15 years 16 days ago
Using equivalence-checking to verify robustness to denial of service
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
Stéphane Lafrance
107
Voted
CORR
2006
Springer
135views Education» more  CORR 2006»
15 years 16 days ago
Constraint Functional Logic Programming over Finite Domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
Antonio J. Fernández, Maria Teresa Hortal&a...
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 16 days ago
Packrat Parsing: Simple, Powerful, Lazy, Linear Time
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
Bryan Ford
106
Voted
DATAMINE
2006
131views more  DATAMINE 2006»
15 years 16 days ago
A systematic approach to the assessment of fuzzy association rules
In order to allow for the analysis of data sets including numerical attributes, several generalizations of association rule mining based on fuzzy sets have been proposed in the li...
Didier Dubois, Eyke Hüllermeier, Henri Prade
122
Voted
IJCSA
2008
126views more  IJCSA 2008»
15 years 15 days ago
The GOQL Language and its Formal Specifications
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
Euclid Keramopoulos, Philippos Pouyioutas, Tasos P...