1890 search results - page 282 / 378 » Model-Based Testing in Practice |
119
click to vote
EMMCVPR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. In this paper a rigorous mathematical framework of deterministic annealing and mean-field approximation is presented for a general class of partitioning, clustering and ...
110
click to vote
VVS
1996
IEEE
15 years 5 months ago
1996
IEEE
A method is proposed which supports the extraction of isosurfaces from irregular volume data, represented by tetrahedral decomposition, in optimal time. The method is based on a d...
106
click to vote
ICLP
1997
Springer
15 years 5 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
IDMS
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. This paper describes WIPETM (Wavelet Image Pornography Elimination), an algorithm capable of classifying an image as objectionable or benign. The algorithm uses a combina...
124
click to vote
HPDC
1993
IEEE
15 years 5 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...