3342 search results - page 50 / 669 » Symbolic Robustness Analysis |
170
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
One problem that has plagued Genetic Programming (GP) and its derivatives is numerical constant creation. Given a mathematical formula expressed as a tree structure, the leaf node...
176
click to vote
ICDAR
2011
IEEE
14 years 5 months ago
2011
IEEE
—We present a multiresolution scheme for symbol representation and recognition based on statistical shape features. We define a symbol as a set of shape points, each of which is...
127
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
158
click to vote
TCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
103
click to vote
TIME
1999
IEEE
15 years 10 months ago
1999
IEEE
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...