3808 search results - page 457 / 762 » Artificial Intelligence: A Modern Approach |
184
click to vote
IEEEICCI
2007
IEEE
16 years 1 months ago
2007
IEEE
Shao and Wang have proposed a cognitive complexity measure[8] as a metric that can be used for estimating the comprehension effort for understanding software written in imperative...
184
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. F...
217
click to vote
ILP
2007
Springer
16 years 27 days ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
137
click to vote
KI
2007
Springer
16 years 27 days ago
2007
Springer
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...
200
click to vote
LFCS
2007
Springer
16 years 27 days ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...