10568 search results - page 399 / 2114 » Computer Intelligence and Formalization |
121
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
145
click to vote
IEAAIE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Machine learning methods were successfully applied in recent years for detecting new and unseen computer viruses. The viruses were, however, detected in small virus loade...
146
click to vote
IEAAIE
2011
Springer
14 years 8 months ago
2011
Springer
Agent-based applications have the potential to assist humans in their lifestyle change, for instance eliminating addictive behaviours or adopting new healthy behaviours. In order t...
134
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
146
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...