29908 search results - page 51 / 5982 » On the Complexity of |
ITP
2006
15 years 12 days ago
2006
Purpose
102
Voted
ACTA
2004
15 years 10 days ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
TSP
2008
15 years 10 days ago
2008
We introduce a heuristic for designing filters that have low complexity coefficients, as measured by the total number of nonzeros digits in the binary or canonic signed digit (CSD)...
84
Voted
CG
2004
Springer
15 years 9 days ago
2004
Springer
This work presents a stratification approach for modeling two-dimensional cell complexes. It introduces the concept of combinatorial stratification and uses the Handlebody theory ...
79
Voted
GC
2002
Springer
15 years 6 days ago
2002
Springer
It is shown that the Hilbert series of the face ring of a clique complex (equivalently, flag complex) of a graph G is, up to a factor, just a specialization of SG (x, y), the subg...