2278 search results - page 220 / 456 » Markov logic networks |
211
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
175
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
The IRIS Network of Excellence (NoE) started its work in January 2009. In this paper we highlight some new research directions developing within the network: one is revisiting narr...
169
click to vote
AINA
2007
IEEE
16 years 29 days ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
155
click to vote
ROBOCOMM
2007
IEEE
16 years 26 days ago
2007
IEEE
—The vision of network robot systems involves robots embedded in smart environments, with which they can collaborate and communicate. In such systems, robots have access to many ...
158
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...