3457 search results - page 44 / 692 » A Symbol Is Not a Symbol |
SIGMOD
2011
ACM
13 years 28 days ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
ICDAR
1999
IEEE
14 years 2 months ago
1999
IEEE
The automatic recognition of music scores is a key process for the electronic treatment of music information. In this paper, we present the segmentation module of an OMR system. T...
IUI
2004
ACM
14 years 3 months ago
2004
ACM
Analysis of sketched digital ink is often aided by the division of stroke points into perceptually-salient fragments based on geometric features. Fragmentation has many applicatio...
PRIB
2009
Springer
14 years 2 months ago
2009
Springer
A syntactic pattern recognition technique is described based upon a mathematical principle associated with finite sequences of symbols. The technique allows for fast recognition of...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...