6020 search results - page 228 / 1204 » A New Approach to Model Counting |
149
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
We present a new, statistical approach to rule learning. Doing so, we address two of the problems inherent in traditional rule learning: The computational hardness of finding rule...
132
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
138
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— A new solution to the Simultaneous Localization and Modelling problem is presented. It is based on the stochastic search of solutions in the state space to the global localizat...
142
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
Bioinformatics algorithms such as sequence alignment methods based on profile-HMM (Hidden Markov Model) are popular but CPU-intensive. If large amounts of data are processed, a s...
177
click to vote
IEEECIT
2006
IEEE
15 years 11 months ago
2006
IEEE
Pervasive computing devices are gradually becoming increasingly prevalent in our everyday life, enabling the users in the physical world to interact with the digital world. Grid c...