3446 search results - page 414 / 690 » A Reasoning Algorithm for pD* |
183
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
157
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
End-to-end communication encryption is considered necessary for protecting the privacy of user data in the Internet. Only a small fraction of all Internet traffic, however, is pro...
159
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Graphs are canonical examples of high-dimensional non-Euclidean data sets, and are emerging as a common data structure in many fields. While there are many algorithms to analyze ...
198
click to vote
AR
2010
15 years 6 months ago
2010
This paper introduces a novel method for slip angle estimation based on visually observing the traces produced by the wheels of a robot on soft, deformable terrain. The proposed a...
189
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Traditional Non-Negative Matrix Factorization (NMF) [19] is a successful algorithm for decomposing datasets into basis function that have reasonable interpretation. One problem of...