4418 search results - page 643 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
152
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we present an online method for POMDPs, called RTBSS (Real-Time Belief Space Search), which is based on a look-ahead search to find the best action to execute at e...
226
click to vote
TIM
2010
15 years 1 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
195
click to vote
ICPPW
2006
IEEE
16 years 19 days ago
2006
IEEE
Embedded computing architectures can be designed to meet a variety of application specific requirements. However, optimized hardware can require compiler support to realize the po...
241
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
232
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In this paper we propose a novel nonparametric approach
for object recognition and scene parsing using dense
scene alignment. Given an input image, we retrieve its best
matches ...