Sciweavers

1871 search results - page 261 / 375
» Selecting for evolvable representations
Sort
View
TYPES
1998
Springer
14 years 2 days ago
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
Thomas Kleymann
AGENTS
1997
Springer
14 years 1 days ago
Learning View Graphs for Robot Navigation
Abstract. We present a purely vision-based scheme for learning a topological representation of an open environment. The system represents selected places by local views of the surr...
Matthias O. Franz, Bernhard Schölkopf, Philip...
BVAI
2007
Springer
13 years 12 months ago
Recognition of Human Faces: From Biological to Artificial Vision
Face recognition is among the most challenging techniques for personal identity verification. Even though it is so natural for humans, there are still many hidden mechanisms which ...
Massimo Tistarelli, Linda Brodo, Andrea Lagorio, M...
WCNC
2010
IEEE
13 years 11 months ago
Performance of a Cooperative Network Using Rate Adaptation and Cooperative Combining
—The performance of a cooperative network with Cooperative Maximal Ratio Combining (C-MRC) is analyzed. To this end, we propose a heuristic approximation to the total received SN...
Prasanna Kalansuriya, Madushanka Soysa, Chintha Te...
COOPIS
2004
IEEE
13 years 11 months ago
Supporting Similarity Operations Based on Approximate String Matching on the Web
Querying and integrating sources of structured data from the Web in most cases requires similarity-based concepts to deal with data level conflicts. This is due to the often errone...
Eike Schallehn, Ingolf Geist, Kai-Uwe Sattler