Sciweavers

436 search results - page 29 / 88
» Lightweight Rule Induction
Sort
View
JAPLL
2010
104views more  JAPLL 2010»
13 years 4 months ago
Lightweight hybrid tableaux
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...
Guillaume Hoffmann
ISCC
2000
IEEE
106views Communications» more  ISCC 2000»
14 years 2 months ago
Packet Scheduling Based on Learning in the Next Generation Internet Architectures
With multimedia applications, the Internet traffic increased a lot in volume, but also suffered major alterations in its nature, requesting other network services besides the curr...
Alencar de Melo Jr., Juan Manuel Adán Coell...
COLT
1994
Springer
14 years 2 months ago
Bayesian Inductive Logic Programming
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
Stephen Muggleton
ICAIL
2009
ACM
14 years 4 months ago
Integrating induction and deduction for finding evidence of discrimination
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
Dino Pedreschi, Salvatore Ruggieri, Franco Turini
EVOW
2009
Springer
13 years 7 months ago
Evolving High-Speed, Easy-to-Understand Network Intrusion Detection Rules with Genetic Programming
An ever-present problem in intrusion detection technology is how to construct the patterns of (good, bad or anomalous) behaviour upon which an engine have to make decisions regardi...
Agustín Orfila, Juan M. Estévez-Tapi...