4211 search results - page 506 / 843 » A formal approach to MASQ |
205
Voted
DKE
2007
15 years 6 months ago
2007
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools t...
166
click to vote
JIIS
2006
15 years 6 months ago
2006
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...
199
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
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...
199
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...
173
click to vote
LISP
2006
15 years 6 months ago
2006
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...