2056 search results - page 90 / 412 » time 2000 |
160
click to vote
GLVLSI
2000
IEEE
15 years 8 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
149
click to vote
MM
2000
ACM
15 years 8 months ago
2000
ACM
In highly interactive multimedia applications startup latency is significant, and may negatively impact performance and Quality of Service (QoS). To avoid this, our approach is t...
125
click to vote
RSCTC
2000
Springer
15 years 7 months ago
2000
Springer
Feature selection is used to improve performance of learning algorithms by finding a minimal subset of relevant features. Since the process of feature selection is computationally ...
131
click to vote
STACS
2000
Springer
15 years 7 months ago
2000
Springer
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
158
click to vote
ISAAC
2000
Springer
15 years 7 months ago
2000
Springer
It has been a challenging open problem whether there is a polynomial time approximation algorithm for the Vertex Cover problem whose approximation ratio is bounded by a constant l...