2635 search results - page 358 / 527 » Computing multihomogeneous resultants using straight-line pr... |
138
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
146
click to vote
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
Given string T = T[1, . . . , n], the suffix sorting problem is to lexicographically sort the suffixes T[i, . . . , n] for all i. This problem is central to the construction of suf...
101
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
139
Voted
BIOCOMP
2009
15 years 4 months ago
2009
The accurate computational prediction of RNA secondary structures is a difficult task, but an important one, since RNA structure is usually more evolutionarily conserved than prima...
121
click to vote
COR
2008
15 years 2 months ago
2008
An approach is proposed for generating homogenous three-staged cutting patterns for the constrained two-dimensional guillotinecutting problems of rectangles. It is based on branch...