1223 search results - page 181 / 245 » A Logic for Reasoning about Evidence |
AIED
2005
Springer
14 years 1 months ago
2005
Springer
We have developed a range of critical thinking environments for science education that span several academic content areas, including human biology, geology and forestry. All envir...
ECAL
2003
Springer
14 years 27 days ago
2003
Springer
Abstract Wherever we see life, we see different kinds of complex networks, reason why they are studied across various fields of science. Random Boolean Networks (RBNs) form a spe...
SIGMOD
1999
ACM
13 years 12 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...
CHI
1998
ACM
13 years 12 months ago
1998
ACM
Collaboration in current real-time groupware systems is often an awkward and clumsy process. We hypothesize that better support for workspace awareness can improve the usability o...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...