6020 search results - page 1029 / 1204 » A New Approach to Model Counting |
219
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Neuroscientists often need to access a wide range of data sets distributed over the Internet. These data sets, however, are typically neither integrated nor interopera...
273
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Declarative data quality has been an active research topic. The fundamental principle behind a declarative approach to data quality is the use of declarative statements to realize...
169
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
189
click to vote
ICCSA
2007
Springer
16 years 15 days ago
2007
Springer
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
169
click to vote
ICDM
2006
IEEE
16 years 12 days ago
2006
IEEE
Much work on skewed, stochastic, high dimensional, and biased datasets usually implicitly solve each problem separately. Recently however, we have been approached by Texas Commiss...