2036 search results - page 51 / 408 » From Sampling to Model Counting |
119
Voted
CHARME
2005
Springer
15 years 8 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 ...
137
Voted
EMNLP
2010
15 years 18 days 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...
229
Voted
GCB
2010
Springer
15 years 18 days 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...
118
Voted
STOC
1997
ACM
15 years 6 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...
114
click to vote
ICRA
2006
IEEE
15 years 8 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...