1096 search results - page 91 / 220 » A New Approach for Speeding Up Enumeration Algorithms |
157
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we propose a new model order reduction approach for large interconnect circuits using hierarchical decomposition and Krylov subspace projection-based model order re...
195
click to vote
AMR
2008
Springer
15 years 8 months ago
2008
Springer
More and more music is being made available to the music listener today, while people have their favorite music on their mobile players. In this paper, we investigate an approach t...
175
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper summarizes recent advances in the application of multiagent coordination algorithms to air traffic flow management. Indeed, air traffic flow management is one of the fu...
200
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
147
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...