5639 search results - page 698 / 1128 » Timed Abstract Non-interference |
143
click to vote
NN
2007
Springer
15 years 5 months ago
2007
Springer
On the basis of detailed analysis of reaction times and neurophysiological data from tasks involving choice, it has been proposed that the brain implements an optimal statistical ...
130
click to vote
FS
2010
15 years 4 months ago
2010
Abstract Consider discrete time observations (X δ)1≤ ≤n+1 of the process X satisfying dXt = √ VtdBt, with Vt a one-dimensional positive diffusion process independent of the...
170
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
159
click to vote
IWSEC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
150
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...