Sciweavers

34181 search results - page 6614 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
AVBPA
2003
Springer
135views Biometrics» more  AVBPA 2003»
15 years 7 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...
FMCAD
2000
Springer
15 years 7 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
GECCO
2000
Springer
143views Optimization» more  GECCO 2000»
15 years 7 months ago
A Genetic Algorithm for Automatically Designing Modular Reinforcement Learning Agents
Reinforcement learning (RL) is one of the machine learning techniques and has been received much attention as a new self-adaptive controller for various systems. The RL agent auto...
Isao Ono, Tetsuo Nijo, Norihiko Ono
ICFP
2000
ACM
15 years 7 months ago
Fully reflexive intensional type analysis
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
Valery Trifonov, Bratin Saha, Zhong Shao
ICSE
2000
IEEE-ACM
15 years 7 months ago
Generating statechart designs from scenarios
This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams. Computer support for this transition between requirements...
Jon Whittle, Johann Schumann
« Prev « First page 6614 / 6837 Last » Next »