26071 search results - page 134 / 5215 » Making the |
ATAL
2006
Springer
14 years 25 days ago
2006
Springer
Multiagent probabilistic reasoning with multiply sectioned Bayesian networks requires interfacing agent subnets (the modeling task) subject to a set of conditions. To specify the ...
ECAI
2004
Springer
14 years 24 days ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
CICLING
2006
Springer
14 years 24 days ago
2006
Springer
The work described in this paper was originally motivated by the
COCO
2006
Springer
14 years 24 days ago
2006
Springer
We consider a general approach to the hoary problem of (im)proving circuit lower bounds. We define notions of hardness condensing and hardness extraction, in analogy to the corres...
CSEE
2006
Springer
14 years 23 days ago
2006
Springer
Predicting future success of students as software engineers is an open research area. We posit that current grading means do not capture all the information that may predict wheth...