792 search results - page 85 / 159 » Constrained Ramsey Numbers |
VLSID
2003
IEEE
16 years 1 months ago
2003
IEEE
In the previous work, the problem of nding gate delays to eliminate glitches has been solved by linear programs (LP) requiring an exponentially large number ofconstraints. By intr...
107
Voted
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
95
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—A novel formulation for optimal sensor selection and in-network fusion for distributed inference known as the prizecollecting data fusion (PCDF) is proposed in terms of optimal ...
92
Voted
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
We propose a novel efficient algorithm for robust tracking of a fixed number of targets in real-time with low failure rate. The method is an instance of Sequential Importance Resa...
149
Voted
ACML
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Massive real-world data are network-structured, such as social network, relationship between proteins and power grid. Discovering the latent communities is a useful way f...