3342 search results - page 154 / 669 » Symbolic Robustness Analysis |
169
click to vote
RTSS
2009
IEEE
16 years 29 days ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
180
click to vote
CLEF
2007
Springer
16 years 12 days ago
2007
Springer
This paper reports on experiments submitted for the robust task at CLEF 2007. We applied a system previously tested for ad-hoc retrieval. Experiments were focused on the effect of...
142
click to vote
IBPRIA
2007
Springer
16 years 12 days ago
2007
Springer
Image preprocessing stage (also known as iris segmentation) is the first step of the iris recognition process and determines its accuracy. In this paper, we propose a method for ir...
181
click to vote
IBPRIA
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. The challenge of interest point detectors is to find, in an unsupervised way, keypoints easy to extract and at the same time robust to image transformations. In this pap...
129
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—The increasing presence of UDP traffic in the Internet and the emergence of sensing applications which do not require full reliability motivates the search for a robust...