1729 search results - page 160 / 346 » Deterministic Expressions in C |
133
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a new expression of the relationship between Integral Projections and motion in an image pair. The resulting new multiresolution gradient based approach is use...
108
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
125
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we consider the stabilisability of nonlinear dynamical systems via time-delayed state and output feedback control. Based on an eigenvalue optimisation approach in...
122
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
In this work, AdaBoost and C4.5, are employed for classifying Skype direct (UDP and TCP) communications from traffic log files. Pre-processing is applied to the traffic data to ex...
117
click to vote
PODC
2006
ACM
15 years 10 months ago
2006
ACM
We study the implication that various timeliness and failure detector assumptions have on the performance of consensus algorithms that exploit them. We present a general framework...