Sciweavers

2851 search results - page 267 / 571
» A Knowledge Based Approach on Educational Metadata Use
Sort
View
PADL
2005
Springer
15 years 11 months ago
Character-Based Cladistics and Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
Daniel R. Brooks, Esra Erdem, James W. Minett, Don...
KES
2004
Springer
15 years 11 months ago
Multi-agent Web Recommendation Method Based on Indirect Association Rules
Recommendation systems often use association rules as main technique to discover useful links among the set of transactions, especially web usage data – historical user sessions....
Przemyslaw Kazienko
CORR
2010
Springer
174views Education» more  CORR 2010»
15 years 6 months ago
Cut Elimination for a Logic with Induction and Co-induction
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
Alwen Tiu, Alberto Momigliano
CORR
2011
Springer
193views Education» more  CORR 2011»
14 years 10 months ago
How Unique and Traceable are Usernames?
Abstract. Usernames are ubiquitously used for identification and authentication purposes on web services and the Internet at large, ranging from the local-part of email addresses ...
Daniele Perito, Claude Castelluccia, Mohamed Ali K...
ICCBR
2005
Springer
15 years 11 months ago
Language Games: Solving the Vocabulary Problem in Multi-Case-Base Reasoning
The problem of heterogeneous case representation poses a major obstacle to realising real-life multi-case-base reasoning (MCBR) systems. The knowledge overhead in developing and ma...
Paolo Avesani, Conor Hayes, Marco Cova