4074 search results - page 155 / 815 » Defining Computational Aesthetics |
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
181
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
132
Voted
CADE
2001
Springer
16 years 1 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
91
Voted
IJCNN
2007
IEEE
15 years 7 months ago
2007
IEEE
— We present a methodology to analyze Multiple Classifiers Systems (MCS) performance, using the diversity concept. The goal is to define an alternative approach to the convention...
91
Voted
CIARP
2007
Springer
15 years 7 months ago
2007
Springer
We present a methodology to analyze Multiple Classifiers Systems (MCS) performance, using the disagreement concept. The goal is to define an alternative approach to the conventiona...