18306 search results - page 449 / 3662 » Algorithmics in Exponential Time |
205
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Anomaly detection in multivariate time series is an important data mining task with applications to ecosystem modeling, network traffic monitoring, medical diagnosis, and other d...
178
Voted
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents the Routing Cost Valleys (RCV) algorithm – the first published algorithm that simultaneously optimizes all short- and long-path timing constraints in a Field...
158
click to vote
SAT
2007
Springer
16 years 1 months ago
2007
Springer
We present an algorithm for finding a smallest Resolution refutation of any 2CNF in polynomial time.
222
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
211
Voted
FM
1999
Springer
15 years 11 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...