6020 search results - page 896 / 1204 » A New Approach to Model Counting |
154
click to vote
WECWIS
2005
IEEE
16 years 5 days ago
2005
IEEE
Singular Value Decomposition (SVD), together with the Expectation-Maximization (EM) procedure, can be used to find a low-dimension model that maximizes the loglikelihood of obser...
147
click to vote
MM
2005
ACM
16 years 5 days ago
2005
ACM
Pervasive gaming is a new form of multimedia entertainment that extends the traditional computer gaming experience out into the real world. Through a combination of personal devic...
155
click to vote
SIGDOC
2005
ACM
16 years 4 days ago
2005
ACM
The creation process of technical documentation is an expensive and time-consuming task especially for complex products. To make this process more cost-efficient computerized supp...
193
click to vote
DMSN
2004
ACM
16 years 1 days ago
2004
ACM
A distributed data-stream architecture finds application in sensor networks for monitoring environment and activities. In such a network, large numbers of sensors deliver continu...
193
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Estimation of distribution algorithms (EDAs) are population-based heuristic search methods that use probabilistic models of good solutions to guide their search. When applied to co...