1940 search results - page 78 / 388 » Graph Transformation with Variables |
120
click to vote
NIPS
2001
15 years 4 months ago
2001
In previous work on "transformed mixtures of Gaussians" and "transformed hidden Markov models", we showed how the EM algorithm in a discrete latent variable mo...
118
click to vote
ICCAD
2008
IEEE
16 years 2 days ago
2008
IEEE
We propose a post-placement physical synthesis algorithm that can apply multiple circuit synthesis and placement transforms on a placed circuit to improve the critical path delay ...
115
click to vote
IJCAI
2007
15 years 4 months ago
2007
WiFi localization, the task of determining the physical location of a mobile device from wireless signal strengths, has been shown to be an accurate method of indoor and outdoor l...
115
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
115
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional deļ¬nition and an eļ¬cient implementation with binary decision diagrams. But it models only the f...