8196 search results - page 53 / 1640 » Computational Modeling and Complexity Science |
CAD
2010
Springer
14 years 9 months ago
2010
Springer
ICMT
2010
Springer
14 years 7 months ago
2010
Springer
GI
2009
Springer
14 years 7 months ago
2009
Springer
FOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
GI
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The interdisciplinary HERON project investigates the impact of multimedia applications from the humanities, in particular heraldry, on future database technology. We pres...