Sciweavers

12399 search results - page 2256 / 2480
» Deformable structural models
Sort
View
AINA
2003
IEEE
15 years 8 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
AVBPA
2003
Springer
135views Biometrics» more  AVBPA 2003»
15 years 8 months ago
Comparison of MLP and GMM Classifiers for Face Verification on XM2VTS
We compare two classifier approaches, namely classifiers based on Multi Layer Perceptrons (MLPs) and Gaussian Mixture Models (GMMs), for use in a face verification system. The comp...
Fabien Cardinaux, Conrad Sanderson, Sébasti...
136
Voted
CL
2000
Springer
15 years 8 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi
EUROPAR
2000
Springer
15 years 8 months ago
Use of Performance Technology for the Management of Distributed Systems
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...
Darren J. Kerbyson, John S. Harper, Efstathios Pap...
GECCO
2000
Springer
138views Optimization» more  GECCO 2000»
15 years 8 months ago
Time Complexity of genetic algorithms on exponentially scaled problems
This paper gives a theoretical and empirical analysis of the time complexity of genetic algorithms (GAs) on problems with exponentially scaled building blocks. It is important to ...
Fernando G. Lobo, David E. Goldberg, Martin Pelika...
« Prev « First page 2256 / 2480 Last » Next »