588 search results - page 32 / 118 » Minimality Results for the Spatial Logics |
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
In this paper, a new logic synthesis method for an AND-XOR-OR type sense-amplifying PLA is proposed. An AND-XOR-OR type sense-amplifying PLA can achieve lowpower dissipation and h...
STACS
1993
Springer
14 years 25 days ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
FOIKS
2008
Springer
2008
Springer
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
13 years 10 months ago
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, a new realization for logic functions, namely Reversible Programmable Logic Array (RPLA), has been proposed. The proposed realization has the advantage of regularit...
ICASSP
2011
IEEE
13 years 15 days ago
2011
IEEE
In this paper, we consider the problem of direction finding in multiple-input multiple-output (MIMO) radar based on focusing the transmitted pulse energy within certain spatial s...