Sciweavers

954 search results - page 104 / 191
» Principles and Models for Organizing the IT Function
Sort
View
FOCS
2007
IEEE
15 years 9 months ago
Parameterized Proof Complexity
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...
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
122
Voted
ECCC
2007
90views more  ECCC 2007»
15 years 3 months ago
Parameterized Proof Complexity: a Complexity Gap for Parameterized Tree-like Resolution
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given pro...
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
108
Voted
WEBI
2009
Springer
15 years 10 months ago
DBLP-SSE: A DBLP Search Support Engine
—A Search Support Engine (SSE) is implemented based on the basic principles of Information Retrieval Support Systems (IRSS) and Information Seeking Support Systems (ISSS). An SSE...
Yi Zeng, Yiyu Yao, Ning Zhong
ASAP
1997
IEEE
155views Hardware» more  ASAP 1997»
15 years 7 months ago
An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
Bart Kienhuis, Ed F. Deprettere, Kees A. Vissers, ...
125
Voted
NAR
2010
123views more  NAR 2010»
14 years 10 months ago
Xenbase: gene expression and improved integration
Xenbase (www.xenbase.org), the model organism database for Xenopus laevis and X. (Silurana) tropicalis, is the principal centralized resource of genomic, development data and comm...
Jeff B. Bowes, Kevin A. Snyder, Erik Segerdell, Ch...