Sciweavers

4961 search results - page 146 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
ANSS
2006
IEEE
15 years 9 months ago
Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective
This paper explores how the dynamics of complex biological processes can be modelled and simulated as an organisation of multiple agents. This modelling perspective identifies org...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
APLAS
2004
ACM
15 years 8 months ago
An Algebraic Approach to Bi-directional Updating
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 25 days ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
DBPL
1991
Springer
98views Database» more  DBPL 1991»
15 years 6 months ago
Structural Recursion as a Query Language
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
Val Tannen, Peter Buneman, Shamim A. Naqvi
ICML
2007
IEEE
16 years 3 months ago
Statistical predicate invention
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...
Stanley Kok, Pedro Domingos