3555 search results - page 325 / 711 » Security-Critical System Development with Extended Use Cases |
171
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
187
click to vote
TVCG
2011
15 years 1 months ago
2011
—There are multiple areas of computer graphics where triangular meshes are being altered in order to reduce their size or complexity, while attempting to preserve the original sh...
148
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
A key feature of relational database applications is managing plural relationships—one-to-many and many-to-many— between entities. However, since it is often infeasible to ado...
171
click to vote
JCAM
2011
14 years 9 months ago
2011
Collocation methods are a well developed approach for the numerical solution of smooth and weakly-singular Volterra integral equations. In this paper we extend these methods, thro...
171
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Recent work has led to the development of an elegant theory of Linearly Solvable Markov Decision Processes (LMDPs) and related Path-Integral Control Problems. Traditionally, LMDPs...