3342 search results - page 42 / 669 » Symbolic Robustness Analysis |
154
click to vote
PR
2000
15 years 5 months ago
2000
An expert system for analysis and recognition of general symbols is introduced. The system uses the structural pattern recognition technique for modeling symbols by a set of strai...
163
click to vote
ISSTA
1998
ACM
15 years 9 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
138
click to vote
ICDAR
2007
IEEE
15 years 12 months ago
2007
IEEE
We model on-line ink traces for a set of 219 symbols to “best fit” low-degree polynomial series. Using a collection of mathematical writing samples, we find that in many cas...
171
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
The study of common, complex multifactorial diseases in genetic epidemiology is complicated by nonlinearity in the genotype-to-phenotype mapping relationship that is due, in part,...
147
click to vote
GREC
2003
Springer
15 years 10 months ago
2003
Springer
We present a structural analysis method for the recognition of on-line handwritten mathematical expressions based on a minimum spanning tree construction and symbol dominance. The ...