2001 search results - page 181 / 401 » An Update on Generalized Information Theory |
TIME
1994
IEEE
15 years 3 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
BIRTHDAY
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
118
click to vote
FGR
2004
IEEE
15 years 2 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 ...
FGR
2004
IEEE
15 years 2 months ago
2004
IEEE
Multidimensional Morphable Model is a powerful model to analyze and synthesize human faces. However, the stochastic gradient descent algorithm adopted to match the Morphable Model...
DAGM
2006
Springer
15 years 2 months ago
2006
Springer
We propose a novel spectral filter optimization algorithm for the single trial ElectroEncephaloGraphy (EEG) classification problem. The algorithm is designed to improve the classif...