2035 search results - page 225 / 407 » On the complexity of stratified logics |
147
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
129
click to vote
AAI
2006
15 years 6 months ago
2006
In the analysis of a newspaper page an important step is the clustering of various text blocks into logical units, i.e., into articles. We propose three algorithms based on text p...
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
160
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
In this paper an efficient algorithm for the synthesis and exact minimization of ESCT(Exclusive or Sum of Complex Terms) expressions for Boolean functions of at most six variables...
118
click to vote
JSYML
2006
15 years 6 months ago
2006
We investigate diagonal actions of Polish groups and the related intersection operator on closed subgroups of the acting group. The Borelness of the diagonal orbit equivalence rela...