Results 1  10
of
2,465,969
A New Approach To And/or/exor Factorization For Regular Arrays
 Proc. 1998 Euromicro, pp.269–276, Vasteras
, 1998
"... The proposed factorization methods for regular arrays of twoinput cells have several important advantages over the existing logic representations and methodologies: (1) The logic representation and design implementation are consistent. (2) The stages of logic synthesis and physical design are effec ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
is significantly easier. (6) The methods can be applied to finegrain FPGA design, standard cell, gate matrix layout and submicron technologies. 1. Introduction A new methodology for designing Logic Cell Arrays (LCA) has been introduced in [1, 2] and extended in [7]. LCA is a rectangular array of AND
A New Representation of Strongly Unspecified Switching Functions and its Application to MultiLevel AND/OR/EXOR Synthesis.
 IFIP WG 10.5 Workshop on Applications of the ReedMuller Expansion
, 1995
"... The paper presents a new representation of Boolean and multiplevalued functions, called Cube Diagram Bundles. This representation is especially good for very strongly unspecified functions. The disjoint cubes of the original function as well as the original variables are reencoded with a smaller n ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
number of new variables, so that several smaller BDDs are used to represent the function. This representation allows to efficiently implement algorithms based on the Cube Calculus and calculus of Rough Partitions. As an application of this new generalpurpose representation we discuss a generalized
Abduction in Logic Programming
"... Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over th ..."
Abstract

Cited by 616 (76 self)
 Add to MetaCart
the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational and suitability to application. The paper attempts to expose some of the challenges and prospects for the further development of the field.
Constraint Logic Programming: A Survey
"... Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in differe ..."
Abstract

Cited by 864 (25 self)
 Add to MetaCart
Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve
A Framework for Defining Logics
 JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
, 1993
"... The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed calculus with dependent types. Syntax is treated in a style similar to, but more general than, MartinLof's system of ariti ..."
Abstract

Cited by 807 (45 self)
 Add to MetaCart
of arities. The treatment of rules and proofs focuses on his notion of a judgement. Logics are represented in LF via a new principle, the judgements as types principle, whereby each judgement is identified with the type of its proofs. This allows for a smooth treatment of discharge and variable occurrence
Temporal and modal logic
 HANDBOOK OF THEORETICAL COMPUTER SCIENCE
, 1995
"... We give a comprehensive and unifying survey of the theoretical aspects of Temporal and modal logic. ..."
Abstract

Cited by 1300 (17 self)
 Add to MetaCart
We give a comprehensive and unifying survey of the theoretical aspects of Temporal and modal logic.
Output Phase Optimization for ANDOREXOR PLAs with Decoders and Its Application to Design of Adders
, 2005
"... This paper presents a design method for threelevel programmable logic arrays (PLAs), which have input decoders and twoinput EXOR gates at the outputs. The PLA realizes an EXOR of two sumofproducts expressions (EXSOP) for multiplevalued input twovalued output functions. We developed an output p ..."
Abstract
 Add to MetaCart
This paper presents a design method for threelevel programmable logic arrays (PLAs), which have input decoders and twoinput EXOR gates at the outputs. The PLA realizes an EXOR of two sumofproducts expressions (EXSOP) for multiplevalued input twovalued output functions. We developed an output
A Heuristic Algorithm to Design ANDOREXOR ThreeLevel Networks
 Proc. Asia and South Pacific Design Automation Conference
, 1998
"... An ANDOREXOR network, where the output EXOR gate has only two inputs, is one of the simplest threelevel architecture. This network realizes an EXOR of two sumofproducts expressions (EXSOP). In this paper, we show an algorithm to simplify EXSOPs for multipleoutput functions. Our objective is t ..."
Abstract

Cited by 14 (4 self)
 Add to MetaCart
An ANDOREXOR network, where the output EXOR gate has only two inputs, is one of the simplest threelevel architecture. This network realizes an EXOR of two sumofproducts expressions (EXSOP). In this paper, we show an algorithm to simplify EXSOPs for multipleoutput functions. Our objective
Application of Phylogenetic Networks in Evolutionary Studies
 SUBMITTED TO MBE 2005
, 2005
"... The evolutionary history of a set of taxa is usually represented by a phylogenetic tree, and this model has greatly facilitated the discussion and testing of hypotheses. However, it is well known that more complex evolutionary scenarios are poorly described by such models. Further, even when evoluti ..."
Abstract

Cited by 867 (15 self)
 Add to MetaCart
evolution proceeds in a treelike manner, analysis of the data may not be best served by using methods that enforce a tree structure, but rather by a richer visualization of the data to evaluate its properties, at least as an essential first step. Thus, phylogenetic networks should be employed when
Results 1  10
of
2,465,969