Sciweavers

1578 search results - page 96 / 316
» Induction of Stable Models
Sort
View
131
Voted
PKDD
2000
Springer
120views Data Mining» more  PKDD 2000»
15 years 7 months ago
Multi-Relational Data Mining, Using UML for ILP
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...
Arno J. Knobbe, Arno Siebes, Hendrik Blockeel, Dan...
117
Voted
IJCAI
2007
15 years 5 months ago
Towards Reasoning about the Past in Neural-symbolic Systems
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
Rafael V. Borges, Luís C. Lamb, Artur S. d'...
104
Voted
JUCS
2007
108views more  JUCS 2007»
15 years 3 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
100
Voted
BMCBI
2010
101views more  BMCBI 2010»
15 years 3 months ago
Optimizing structural modeling for a specific protein scaffold: knottins or inhibitor cystine knots
Background: Knottins are small, diverse and stable proteins with important drug design potential. They can be classified in 30 families which cover a wide range of sequences (1621...
Jérôme Gracy, Laurent Chiche
119
Voted
SIGIR
2005
ACM
15 years 9 months ago
An exploration of axiomatic approaches to information retrieval
Existing retrieval models generally do not offer any guarantee for optimal retrieval performance. Indeed, it is even difficult, if not impossible, to predict a model’s empirica...
Hui Fang, ChengXiang Zhai