ISMVL
2007
IEEE
14 years 3 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...
ISMVL
2007
IEEE
14 years 3 months ago
2007
IEEE
Extending the ideas of Quantum Braitenberg Vehicles from [14], we present here a family of Lego robots controlled by multiple-valued quantum circuits. The robots have at most 6 de...
ISMVL
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we present fault tolerant CMOS logic using redundancy and ternary signals. The ternary gates are implemented using recharge logic which can be exploited in binary an...
ISMVL
2007
IEEE
14 years 3 months ago
2007
IEEE
Simulation of gate circuits is an efficient method of detecting hazards and oscillations that may occur because of delays. Ternary simulation consists of two algorithms, A and B,...
ISMVL
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents ternary counters using balanced ternary notation. The balanced ternary counters can replace binary full adders or counters in fast adder structures. The circui...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
Multiagent learning attracts much attention in the past few years as it poses very challenging problems. Reinforcement Learning is an appealing solution to the problems that arise...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
Typically, spam filters are built on the assumption that the characteristics of e-mails in the training set is identical to those in individual users’ inboxes on which it will b...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, a tool that uses an argumentation based decision making framework is proposed for the construction of mutual fund portfolios. The argumentation framework is employe...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...