Sciweavers

2296 search results - page 147 / 460
» The Expressive Power of Synchronizations
Sort
View
SEMWEB
2004
Springer
15 years 10 months ago
Small Can Be Beautiful in the Semantic Web
In 1984, Peter Patel-Schneider published a paper [1] entitled Small can be Beautiful in Knowledge Representation in which he advocated for limiting the expressive power of knowledg...
Marie-Christine Rousset
ILP
2000
Springer
15 years 8 months ago
Bayesian Logic Programs
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
Kristian Kersting, Luc De Raedt
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 4 months ago
Decision Problems for Petri Nets with Names
We prove several decidability and undecidability results for -PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of...
Fernando Rosa Velardo, David de Frutos-Escrig
LATA
2010
Springer
15 years 3 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
Fernando Rosa Velardo, Giorgio Delzanno
ICC
2009
IEEE
139views Communications» more  ICC 2009»
15 years 2 months ago
Impact of Topology and Shadowing on the Outage Probability of Cellular Networks
This paper proposes an analytical study of the shadowing impact on the outage probability in cellular radio networks. We establish that the downlink other-cell interference factor,...
Jean Marc Kelif, Marceau Coupechoux