6020 search results - page 206 / 1204 » A New Approach to Model Counting |
172
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
134
click to vote
SMA
2010
ACM
15 years 3 months ago
2010
ACM
Radon is a natural radioactive gas known to be the main contributor to natural background radiation exposure and the major leading cause of lung cancer second to smoking. Indoor ra...
151
click to vote
ATAL
2009
Springer
15 years 2 months ago
2009
Springer
Today's society is largely connected and many real life applications lend themselves to be modeled as multi-agent systems. Although such systems as well as their models are d...
138
Voted
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
This work presents a novel approach in automatic detection of the lung nodules and is compared with respect to parametric nodule models in terms of sensitivity and specificity. A ...
156
click to vote
ISCI
2007
15 years 4 months ago
2007
In an object-relational database management system, a query optimizer requires users to provide cost models of userdefined functions. The traditional approach is analytical, that...