3457 search results - page 52 / 692 » A Symbol Is Not a Symbol |
LICS
1997
IEEE
14 years 1 months ago
1997
IEEE
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...
SUTC
2010
IEEE
13 years 8 months ago
2010
IEEE
— Symbol synchronization is a critical component in the design of an underwater acoustic modem. Without accurate symbol synchronization, higher bit error rates incur thus reduc...
BPM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Training sequences for estimation of channel parameters have been well designed under the condition that the number of the unknown channel parameters is not greater than the numbe...
GREC
2003
Springer
14 years 3 months ago
2003
Springer
We present a structural analysis method for the recognition of on-line handwritten mathematical expressions based on a minimum spanning tree construction and symbol dominance. The ...