1596 search results - page 115 / 320 » Quantum property testing |
156
click to vote
ACL
2009
15 years 3 months ago
2009
We investigate the use of Fisher's exact significance test for pruning the translation table of a hierarchical phrase-based statistical machine translation system. In additio...
137
click to vote
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
143
click to vote
Lecture Notes
These notes cover several topics such as Univariate Time Series Analysis, The Distribution of a Sample Average, Least Squares, Instrumental Variable Method, Simulating the Finite S...
145
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper suggests a new measure of symmetry for bifurcating structures, which relies not only on topology and ordering, but also on quantitative properties (e.g. length of branc...
163
click to vote
BPM
2008
Springer
15 years 7 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...