1941 search results - page 194 / 389 » On the Hardness of Approximate Reasoning |
171
click to vote
SEFM
2006
IEEE
16 years 15 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
195
click to vote
AVSS
2005
IEEE
16 years 3 days ago
2005
IEEE
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is gener...
139
click to vote
LICS
2005
IEEE
16 years 2 days ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
170
click to vote
CD
2005
Springer
16 years 1 days ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
188
click to vote
ICIAR
2005
Springer
16 years 3 hour ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...