Sciweavers

7311 search results - page 302 / 1463
» Time in State Machines
Sort
View
IDA
2010
Springer
15 years 2 months ago
Fingerprint classification based on subclass analysis using multiple templates of support vector machines
Fingerprint classification reduces the searching time of an automated fingerprint identification system. Since fingerprints have properties of intra-class diversities and inter-cla...
Jun-Ki Min, Jin-Hyuk Hong, Sung-Bae Cho
EUROGP
2007
Springer
164views Optimization» more  EUROGP 2007»
16 years 1 months ago
The Induction of Finite Transducers Using Genetic Programming
This paper reports on the results of a preliminary study conducted to evaluate genetic programming (GP) as a means of evolving finite state transducers. A genetic programming syste...
Amashini Naidoo, Nelishia Pillay
EURODAC
1994
IEEE
129views VHDL» more  EURODAC 1994»
15 years 11 months ago
Synthesis of Self-Testable Controllers
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
Sybille Hellebrand, Hans-Joachim Wunderlich
COMPLEX
2009
Springer
15 years 11 months ago
Non-sufficient Memories That Are Sufficient for Prediction
The causal states of computational mechanics define the minimal sufficient (prescient) memory for a given stationary stochastic process. They induce the -machine which is a hidden...
Wolfgang Löhr, Nihat Ay
CADE
2008
Springer
16 years 7 months ago
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
Geoff Sutcliffe, Jirí Vyskocil, Josef Urban...