3342 search results - page 47 / 669 » Symbolic Robustness Analysis |
172
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
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...
175
click to vote
WCET
2003
15 years 7 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
162
click to vote
FORTE
2009
15 years 3 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
136
click to vote
ICDAR
2007
IEEE
15 years 12 months ago
2007
IEEE
Recognition of mathematical symbols is a challenging task, with a large set with many similar symbols. We present a support vector machine based hybrid recognition system that use...
156
click to vote
CEC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper reports an improvement to genetic programming (GP) search for the symbolic regression domain, based on an analysis of dissimilarity and mating. GP search is generally di...