8031 search results - page 331 / 1607 » Knowledge and Workflow Systems |
232
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
174
Voted
EDUTAINMENT
2010
Springer
15 years 7 months ago
2010
Springer
Design becomes more and more the art of bringing together expertise and experts from different domains in creating future products. Synthetical knowledge and hands-on skills in des...
150
click to vote
IJKL
2008
15 years 6 months ago
2008
: Elaborations of Competence-based Knowledge Space Theory (CbKST) incorporate skills that refer to the conceptual information of the domain as well as to the activities learners ar...
182
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
177
click to vote
AIEDAM
1999
15 years 6 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...