Sciweavers

3457 search results - page 68 / 692
» A Symbol Is Not a Symbol
Sort
View
75
Voted
CAV
2009
Springer
123views Hardware» more  CAV 2009»
16 years 1 months ago
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ram...
QEST
2007
IEEE
15 years 6 months ago
Symbolic Bisimulations for Probabilistic Systems
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
Peng Wu 0002, Catuscia Palamidessi, Huimin Lin
82
Voted
ICDAR
2005
IEEE
15 years 6 months ago
A Ground-Truthed Mathematical Character and Symbol Image Database
This paper describes the specifications for our ground-truthed mathematical character and symbol
Masakazu Suzuki, Seiichi Uchida, Akihiro Nomura
72
Voted
PAMI
2010
134views more  PAMI 2010»
14 years 11 months ago
Recognizing Planar Symbols with Severe Perspective Deformation
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...
Linlin Li, Chew Lim Tan