412 search results - page 15 / 83 » Modelling Metamorphism by Abstract Interpretation |
ETFA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
ECML
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...
LICS
1994
IEEE
15 years 3 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
JANCL
2007
14 years 11 months ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
171
click to vote
CSFW
2011
IEEE
13 years 11 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...