4555 search results - page 33 / 911 » Deductive Algorithmic Knowledge |
PAKM
2000
13 years 11 months ago
2000
The `Knowledge Age' has fuelled the need to capitalise on organisation-wide Intellectual Capital with the aim of gaining competitive advantage vis-
AAAI
2008
14 years 14 days ago
2008
Model-Based Diagnosis (MBD) typically focuses on diagnoses, minimal under some minimality criterion, e.g., the minimal-cardinality set of faulty components that explain an observa...
ICALT
2006
IEEE
14 years 4 months ago
2006
IEEE
Generally speaking, in the e-learning systems, a course is modeled as a graph, where each node represents a knowledge node (KU) and two nodes are connected to form a semantic netw...
CAV
1993
Springer
14 years 2 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
KDD
2012
ACM
12 years 18 days ago
2012
ACM
Many data are modeled as tensors, or multi dimensional arrays. Examples include the predicates (subject, verb, object) in knowledge bases, hyperlinks and anchor texts in the Web g...