10568 search results - page 308 / 2114 » Computer Intelligence and Formalization |
132
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In the course of the recent complexification and sophistication of commercial computer games, the creation of competitive artificial players that are able to behave intelligentl...
157
click to vote
IDTRUST
2009
ACM
15 years 10 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...
120
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
143
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
137
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...