7960 search results - page 1223 / 1592 » Systems for Knowledge and Beliefs |
154
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
We present a study of the degree to which annotations overlap when several researchers read the same set of scientific articles. Our objective is to determine whether there is suf...
194
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
174
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
203
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes to use cognitive multi-agent based simulation to facilitate human team formation decision processes. The models of organizational actors are acquired by a data...
185
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
We introduce a new class of compiler heuristics: hybrid optimizations. Hybrid optimizations choose dynamically at compile time which optimization algorithm to apply from a set of d...