13822 search results - page 229 / 2765 » Models in Knowledge Management |
149
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
200
click to vote
PREMI
2007
Springer
15 years 11 months ago
2007
Springer
The rapid expansion of the Internet has resulted not only in the ever-growing amount of data stored therein, but also in the burgeoning complexity of the concepts and phenomena per...
125
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
For the TREC-style questions, the query terms we get from the original questions are either too brief or often do not contain much relevant information in the corpus. It will be v...
131
click to vote
JSAI
2001
Springer
15 years 9 months ago
2001
Springer
: The cascade model is a rule induction methodology that uses level-wise expansion of a lattice. An attribute-value pair is expressed as an item, and every node in the lattice is s...
178
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
The effectiveness of knowledge transfer using classification algorithms depends on the difference between the distribution that generates the training examples and the one from wh...