3457 search results - page 68 / 692 » A Symbol Is Not a Symbol |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
ICDAR
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes the specifications for our ground-truthed mathematical character and symbol
DAC
1994
ACM
14 years 2 months ago
1994
ACM
PAMI
2010
13 years 8 months ago
2010
Abstract—A common problem encountered in recognizing symbols in real-scene images is the perspective deformation. In this paper, a recognition method resistant to perspective def...