10594 search results - page 1801 / 2119 » Learning classifier systems |
159
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
185
click to vote
DAGM
2005
Springer
16 years 5 days ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
181
click to vote
IBPRIA
2005
Springer
16 years 5 days ago
2005
Springer
We present a method that estimates high level animation parameters (muscle contractions, eye movements, eye lids opening, jaw motion and lips contractions) from a marker-less face ...
197
click to vote
ICANN
2005
Springer
16 years 5 days ago
2005
Springer
Spike synchronisation and de-synchronisation are important for feature binding and separation at various levels in the visual system. We present a model of complex valued neuron ac...
124
click to vote
ICARIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...