2036 search results - page 51 / 408 » From Sampling to Model Counting |
108
click to vote
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
125
click to vote
EMNLP
2010
14 years 11 months ago
2010
Minimum Error Rate Training is the algorithm for log-linear model parameter training most used in state-of-the-art Statistical Machine Translation systems. In its original formula...
219
click to vote
GCB
2010
Springer
14 years 11 months ago
2010
Springer
: Despite recent advances in DNA chip technology current microarray gene expression studies are still affected by high noise levels, small sample sizes and large numbers of uninfor...
105
click to vote
STOC
1997
ACM
15 years 5 months ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...
103
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper introduces a method that reconstructs a surface patch by sampling along three concurrent curves on the surface with a touch sensor. These data curves, each lying in a d...