526 search results - page 6 / 106 » Representations of structural closure operators |
132
click to vote
COLING
1992
15 years 7 months ago
1992
Abstract -- In this paper, we present a new mathematical framework in which disjunctive feature structures are defined as directed acyclic hypergraphs. Disjunction is defined in th...
192
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
143
click to vote
LICS
2009
IEEE
16 years 13 days ago
2009
IEEE
—We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations o...
153
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The building block hypothesis implies that the epistatic property of a given problem must be connected well to the linkage property of the employed representation and cro...
142
click to vote
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
In order to handle device matching for analog circuits, some pairs of modules need to be placed symmetrically with respect to a common axis. In this paper, we deal with the module...