120 search results - page 6 / 24 » Logical Filtering |
93
Voted
NDJFL
2002
15 years 2 months ago
2002
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
173
Voted
ECOWS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
103
Voted
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
Vulnerability-driven filtering of network data can offer a fast and easy-to-deploy alternative or intermediary to software patching, as exemplified in Shield [43]. In this paper, ...
120
click to vote
CADE
2008
Springer
15 years 4 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
146
Voted
EUSFLAT
2009
15 years 17 days ago
2009
The aim of this paper is to propose a new Kalman Filter Recurrent Neural Network (KFRNN) topology and a recursive Levenberg-Marquardt (L-M) algorithm of its learning capable to est...