2233 search results - page 301 / 447 » On the Complexity of Theory Curbing |
151
click to vote
FMCAD
2009
Springer
16 years 29 days ago
2009
Springer
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...
170
click to vote
ICTAC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
143
click to vote
ISSAC
2009
Springer
16 years 29 days ago
2009
Springer
Constructive methods for matrices of multihomogeneous resultants for unmixed systems have been studied in [7, 14, 16]. We generalize these constructions to mixed systems, whose Ne...
177
click to vote
COMPGEOM
2009
ACM
16 years 28 days ago
2009
ACM
We study the problem of computing zigzag persistence of a sequence of homology groups and study a particular sequence derived from the levelsets of a real-valued function on a top...
157
click to vote
COMPGEOM
2009
ACM
16 years 28 days ago
2009
ACM
We present the Iterated-Tverberg algorithm, the first deterministic algorithm for computing an approximate centerpoint of a set S ∈ Rd with running time sub-exponential in d. T...