6020 search results - page 907 / 1204 » A New Approach to Model Counting |
175
click to vote
JAIR
2008
15 years 6 months ago
2008
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...
175
click to vote
JNW
2006
15 years 6 months ago
2006
With the standardization of IEEE 802.11, there has been an explosive growth of wireless local area networks (WLAN). Recently, this cost effective technology is being developed aggr...
177
click to vote
IJAR
2002
15 years 6 months ago
2002
The usual methods of applying Bayesian networks to the modeling of temporal processes, such as Dean and Kanazawa's dynamic Bayesian networks (DBNs), consist in discretizing t...
173
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Bare Earth gridded digital elevation models (DEMs) are often used to extract hydrologic features such as rivers and watersheds. DEMs must be conditioned by removing spurious sinks...
196
click to vote
TNN
2010
15 years 1 months ago
2010
Abstract--In experimental and observational sciences, detecting atypical, peculiar data from large sets of measurements has the potential of highlighting candidates of interesting ...