2584 search results - page 214 / 517 » On the Forward Checking Algorithm |
110
click to vote
JFP
2006
15 years 2 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
136
click to vote
ACL
2010
15 years 11 days ago
2010
The Viterbi algorithm is the conventional decoding algorithm most widely adopted for sequence labeling. Viterbi decoding is, however, prohibitively slow when the label set is larg...
90
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
The algorithms used in wireless applications are increasingly more sophisticated and consequently more challenging to implement in hardware. Traditional design flows require devel...
129
Voted
FSTTCS
2010
Springer
15 years 10 days ago
2010
Springer
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
121
click to vote
IJON
2010
14 years 9 months ago
2010
This paper presents a novel methodology to infer parameters of probabilistic models whose output noise is a Student-t distribution. The method is an extension of earlier work for ...