4555 search results - page 388 / 911 » Deductive Algorithmic Knowledge |
117
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Typical tracking algorithms exploit temporal coherence, in the sense of expecting only small object motions. Even without exact knowledge of the scene, additional spatial coherence...
123
Voted
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
144
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we describe the use of a modern learning classifier system to a data mining task. In particular, in collaboration with a medical specialist, we apply XCS to a prima...
142
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many knowledge representation mechanisms consist of linkbased structures; they may be studied formally by means of unordered trees. Here we consider the case where labels...
128
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Ears are a new biometric with major advantage in that they appear to maintain their shape with increased age. Any automatic biometric system needs enrolment to extract the target a...