3457 search results - page 10 / 692 » A Symbol Is Not a Symbol |
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
In online handwritten math expression recognition, one-pass dynamic programming can produce highquality symbol graphs in addition to best symbol sequence hypotheses [3], especiall...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
ECIR
1998
Springer
13 years 9 months ago
1998
Springer
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Frame synchronization is classically treated in literature for equiprobable data symbols. In this case the optimum metric has been derived both in the case of periodica...
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...