2598 search results - page 152 / 520 » The Abstract Immune System Algorithm |
HIPC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The theory of bulk-synchronous parallel computing has produced a large number of attractive algorithms, which are provably optimal in some sense, but typically require th...
100
click to vote
ICCV
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. Visual detection and tracking of humans in complex scenes is a challenging problem with a wide range of applications, for example surveillance and human-computer interact...
108
click to vote
AH
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Critiquing techniques provide an easy way for users to feedback their preferences over one or several attributes of the products in a conversational recommender system. W...
SP
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--We introduce SCiFI, a system for Secure Computation of Face Identification. The system performs face identification which compares faces of subjects with a database of re...
108
click to vote
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...