14386 search results - page 2674 / 2878 » The Chinese Generals Problem |
171
click to vote
TPHOL
2005
IEEE
16 years 1 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
190
click to vote
VISUALIZATION
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a robust method for 3D reconstruction of closed surfaces from sparsely sampled parallel contours. A solution to this problem is especially important for medical segment...
203
click to vote
WACV
2005
IEEE
16 years 1 days ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
165
click to vote
ANCS
2005
ACM
16 years 1 days ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
181
click to vote
ANCS
2005
ACM
16 years 1 days ago
2005
ACM
New network applications like intrusion detection systems and packet-level accounting require multi-match packet classification, where all matching filters need to be reported. Te...