10568 search results - page 323 / 2114 » Computer Intelligence and Formalization |
113
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...
110
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
133
Voted
FLAIRS
2006
15 years 5 months ago
2006
This paper discusses the production of visually appealing computer-generated images, through the emulation of human drawing techniques and artificial evolution. Employing a databa...
116
Voted
INFSOF
2002
15 years 3 months ago
2002
This paper provides a formal speci
134
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic diļ¬erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...