7811 search results - page 1152 / 1563 » computing 2004 |
177
click to vote
FGR
2004
IEEE
15 years 8 months ago
2004
IEEE
Tracking a moving person is challenging because a person's appearance in images changes significantly due to articulation, viewpoint changes, and lighting variation across a ...
157
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
131
click to vote
FSE
2004
Springer
15 years 8 months ago
2004
Springer
We study the differential probability adp of exclusive-or when differences are expressed using addition modulo 2N . This function is important when analysing symmetric primitives t...
125
Voted
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
The present paper analyzes the usefulness of the normalized compression distance for the problem to cluster the hemagglutinin (HA) sequences of influenza virus data for the HA gene...
127
click to vote
AAAI
2010
15 years 6 months ago
2010
Knowledge transfer has been suggested as a useful approach for solving large Markov Decision Processes. The main idea is to compute a decision-making policy in one environment and...