49 search results - page 4 / 10 » stacs 2007 |
146
click to vote
CASCON
2006
15 years 8 months ago
2006
One aspect of autonomic computing is the ability to identify, separate and automatically tune parameters related to performance, security, robustness and other properties of a sof...
166
click to vote
STACS
2007
Springer
16 years 19 days ago
2007
Springer
In holographic algorithms, symmetric signatures have been particularly useful. We give a complete characterization of these symmet
129
click to vote
STACS
2007
Springer
16 years 19 days ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of
192
click to vote
STACS
2007
Springer
16 years 19 days ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
124
click to vote
STACS
2007
Springer
16 years 19 days ago
2007
Springer
For every k ≥ 1 and two finite fields F and F , we design a polynomial-time algorithm that given a matroid M of branch-width at most k represented over F decides whether M is ...