2137 search results - page 42 / 428 » Proving Abstract Non-interference |
128
Voted
QEST
2010
IEEE
15 years 18 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 14 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...
115
click to vote
CONSTRAINTS
2010
15 years 4 days 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...
130
Voted
ICMLA
2010
15 years 1 days 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...
137
Voted
INFORMS
2010
14 years 12 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...