3415 search results - page 347 / 683 » Lower bounds on kernelization |
151
click to vote
RANDOM
2001
Springer
15 years 11 months ago
2001
Springer
We study Euclidean embeddings of Euclidean metrics and present the following four results: (1) an O(log3 n √ log log n) approximation for minimum bandwidth in conjunction with a ...
202
click to vote
CADE
1999
Springer
15 years 11 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
171
Voted
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Time management is a critical component of workflow-based process management. Important aspects of time management include planning of workflow process execution in time, estimat...
161
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
We present an optimal strategy for searching for a goal in a street which achieves the competitive factor of √ 2, thus matching the best lower bound known before. This finally ...
175
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
A power estimation approach is presented in which blocks of consecutive vectors are selected at random from a user-supplied realistic input vector set and the circuit is simulated...