3742 search results - page 704 / 749 » On the Use of Formal Techniques for Validation |
150
click to vote
TMI
2010
15 years 4 months ago
2010
—We present the Spherical Demons algorithm for registering two spherical images. By exploiting spherical vector spline interpolation theory, we show that a large class of regular...
211
click to vote
USS
2010
15 years 4 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
215
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper proposes a novel method to deal with the representation issue in texture classification. A learning framework of image descriptor is designed based on the Fish...
163
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We determine the robust Nash equilibrium (RNE) for a wide range of problems in communications systems and networks that are faced with uncertainty in their parameters’ values. T...
205
click to vote
TSE
2010
15 years 25 days ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...