Sciweavers

4290 search results - page 472 / 858
» Formal Approaches to Teamwork
Sort
View
JIIS
2006
93views more  JIIS 2006»
15 years 6 months ago
Measuring inconsistency in knowledgebases
It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the...
John Grant, Anthony Hunter
KES
2006
Springer
15 years 6 months ago
M-OntoMat-Annotizer: Image Annotation Linking Ontologies and Multimedia Low-Level Features
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
Kosmas Petridis, Dionysios Anastasopoulos, Carsten...
KES
2006
Springer
15 years 6 months ago
Solving power and trust conflicts through argumentation in agent-mediated knowledge distribution
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...
Carlos Iván Chesñevar, Ramón ...
LISP
2006
77views more  LISP 2006»
15 years 6 months ago
Expressing combinatory reduction systems derivations in the rewriting calculus
The last few years have seen the development of the rewriting calculus (also called rho-calculus or -calculus) that uniformly integrates first-order term rewriting and the -calculu...
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
PC
2006
103views Management» more  PC 2006»
15 years 6 months ago
Parallel skeletons for manipulating general trees
Trees are important datatypes that are often used in representing structured data such as XML. Though trees are widely used in sequential programming, it is hard to write efficien...
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi