3342 search results - page 132 / 669 » Symbolic Robustness Analysis |
139
click to vote
IEAAIE
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Human-Artifact interaction in real world situations is currently an active area of research due to the importance foreseen of the social capabilities of near future robot...
157
click to vote
AMTA
2004
Springer
15 years 11 months ago
2004
Springer
We describe the use of a translation memory in the context of a reconstruction of a landmark application of machine translation, the Canadian English to French weather report trans...
159
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This work presents a performance analysis of a Multi-Branches Genetic Programming (MBGP) approach applied in symbolic regression (e.g. function approximation) problems. Genetic Pro...
168
Voted
IWIA
2003
IEEE
15 years 11 months ago
2003
IEEE
1 A new method for detecting anomalies in the usage of protocols in computer networks is presented in this work. The proposed methodology is applied to TCP and disposed in two step...
169
Voted
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...