Sciweavers

9730 search results - page 203 / 1946
» Relating models of backtracking
Sort
View
CORR
2012
Springer
210views Education» more  CORR 2012»
13 years 12 months ago
Topological phase transition in a network model with preferential attachment and node removal
Preferential attachment is a popular model of growing networks. We consider a generalized model with random node removal, and a combination of preferential and random attachment. U...
Heiko Bauke, Cristopher Moore, Jean-Baptiste Rouqu...
ICMT
2009
Springer
15 years 10 months ago
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
Esther Guerra, Juan de Lara, Fernando Orejas
EMISA
2004
Springer
15 years 9 months ago
A Comparison of XML Interchange Formats for Business Process Modelling
: This paper addresses heterogeneity of business process metamodels and related interchange formats. The different approaches towards interchange format design and effects of inter...
Jan Mendling, Gustaf Neumann, Markus Nüttgens
161
Voted
NIPS
2007
15 years 5 months ago
Gaussian Process Models for Link Analysis and Transfer Learning
In this paper we model relational random variables on the edges of a network using Gaussian processes (GPs). We describe appropriate GP priors, i.e., covariance functions, for dir...
Kai Yu, Wei Chu
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 4 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden