99 search results - page 17 / 20 » Temporal Decomposition for Logic Optimization |
VLDB
2005
ACM
14 years 29 days ago
2005
ACM
In this paper, we examine the performance of frequent pattern mining algorithms on a modern processor. A detailed performance study reveals that even the best frequent pattern min...
ISCC
2007
IEEE
14 years 1 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
AAAI
1996
13 years 8 months ago
1996
Markov decision processes (MDPs) are a very popular tool for decision theoretic planning (DTP), partly because of the welldeveloped, expressive theory that includes effective solu...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— In a wireless mesh network (WMN) with a number of stationary wireless routers, the aggregate capacity can be increased when each router is equipped with multiple network interf...