2137 search results - page 42 / 428 » Proving Abstract Non-interference |
127
click to vote
QEST
2010
IEEE
15 years 12 days ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
140
Voted
ICIAP
2009
ACM
15 years 7 days ago
2009
ACM
Abstract. Shape classification using graphs and skeletons usually involves edition processes in order to reduce the influence of structural noise. However, edition distances can no...
113
click to vote
CONSTRAINTS
2010
14 years 12 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
128
click to vote
ICMLA
2010
14 years 11 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
133
click to vote
INFORMS
2010
14 years 11 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...