3342 search results - page 51 / 669 » Symbolic Robustness Analysis |
151
click to vote
CONCUR
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
169
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
129
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
In this paper the potential of GP-generated symbolic regression for alleviating multicollinearity problems in multiple regression is presented with a case study in an industrial s...
135
click to vote
GREC
2005
Springer
15 years 11 months ago
2005
Springer
Following the experience of the rst edition of the international symbol recognition contest held during GREC'03 in Barcelona, a second edition has been organized during GREC...
166
click to vote
DISCO
1992
15 years 9 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...