Sciweavers

819 search results - page 43 / 164
» Fractal symbolic analysis
Sort
View
LCPC
2005
Springer
14 years 2 months ago
Interprocedural Symbolic Range Propagation for Optimizing Compilers
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
Hansang Bae, Rudolf Eigenmann
ICIP
2009
IEEE
14 years 9 months ago
Circular Blurred Shape Model For Symbol Spotting In Documents
Symbol spotting problem requires feature extraction strategies able to generalize from training samples and to localize the target object while discarding most part of the image. ...
IBPRIA
2007
Springer
14 years 2 months ago
Handwritten Symbol Recognition by a Boosted Blurred Shape Model with Error Correction
One of the major difficulties of handwriting recognition is the variability among symbols because of the different writer styles. In this paper we introduce the boosting of blurre...
Alicia Fornés, Sergio Escalera, Josep Llad&...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 28 days ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ICDAR
2009
IEEE
13 years 6 months ago
HMM-Based Online Recognition of Handwritten Chemical Symbols
In this paper, we present an online handwritten recognition method for Chemical Symbols, a widely used symbol in education and academic interactions. This method is based on Hidde...
Yang Zhang, Guangshun Shi, Jufeng Yang