2314 search results - page 407 / 463 » Monoids over domains |
CHI
2002
ACM
16 years 6 days ago
2002
ACM
A validated model of trust was used as a framework for an empirical study to identify on- and offline factors that influence gamblers' perception of an online casino's t...
100
click to vote
RECOMB
2007
Springer
16 years 4 days ago
2007
Springer
We present a technique for approximating the free energy of protein structures using Generalized Belief Propagation (GBP). The accuracy and utility of these estimates are then demo...
104
click to vote
CADE
2005
Springer
16 years 4 days ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
108
click to vote
CADE
2005
Springer
16 years 4 days ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
184
click to vote
VLDB
2007
ACM
16 years 2 days ago
2007
ACM
Given a set of model graphs D and a query graph q, containment search aims to find all model graphs g D such that q contains g (q g). Due to the wide adoption of graph models, f...