12981 search results - page 2076 / 2597 » Model Checking (Abstract) |
179
click to vote
EVOW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The efficient design of multiplierless implementations of constant matrix multipliers is challenged by the huge solution search spaces even for small scale problems. Prev...
220
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
191
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The localization of human faces in digital images is a fundamental step in the process of face recognition. This paper presents a shape comparison approach to achieve fas...
199
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
The Baldwin Effect is a very plausible, but unproven, biological theory concerning the power of learning to accelerate evolution. Simple computational models in the 1980’s gave...
192
click to vote
EDO
2000
Springer
15 years 11 months ago
2000
Springer
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...