6020 search results - page 126 / 1204 » A New Approach to Model Counting |
123
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
161
Voted
TWC
2010
14 years 10 months ago
2010
Wideband source localization using acoustic sensor networks has been drawing a lot of research interest recently in wireless communication applications, such as cellular handset lo...
177
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: To study complex biochemical reaction networks in living cells researchers more and more rely on databases and computational methods. In order to facilitate computatio...
109
Voted
ICCAD
2006
IEEE
16 years 26 days ago
2006
IEEE
Statistical static timing analysis (SSTA) is emerging as a solution for predicting the timing characteristics of digital circuits under process variability. For computing the stat...
139
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach fo...