3742 search results - page 559 / 749 » On the Use of Formal Techniques for Validation |
183
click to vote
JOI
2007
15 years 6 months ago
2007
This paper presents a method for assessing the quality of similarity functions. The scenario taken into account is that of approximate data matching, in which it is necessary to d...
197
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--In this letter we discuss the exploitation of aggregated mobility patterns in mobile networks including heterogeneous multiple access techniques. We advocate the use of k...
173
click to vote
MAGS
2007
15 years 6 months ago
2007
In this article a three staged file transfer approach for the Grid is proposed. File transfer in the Grid can take place at three stages: deployment, user application execution, ...
201
click to vote
BMVC
2010
15 years 4 months ago
2010
Recognizing 3D objects from arbitrary view points is one of the most fundamental problems in computer vision. A major challenge lies in the transition between the 3D geometry of o...
170
click to vote
IJON
2010
15 years 3 months ago
2010
Genetic Algorithms (GAs), as nondeterministic conformational search techniques, are promising for solving protein structure prediction (PSP) problems. The crossover operator of a ...