6020 search results - page 493 / 1204 » A New Approach to Model Counting |
234
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
200
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Estimating the degree of similarity between images is a challenging task as the similarity always depends on the context. Because of this context dependency, it seems qui...
171
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We establish a closed form formula of the other-cell interference factor f for omni-directional and sectored cellular networks, as a function of the location of the mobile. Tha...
183
click to vote
CBSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
185
click to vote
GFKL
2005
Springer
16 years 17 days ago
2005
Springer
Mining association rules is an important technique for discovering meaningful patterns in transaction databases. In the current literature, the properties of algorithms to mine ass...