Sciweavers

73 search results - page 6 / 15
» Origins of the Calculus of Binary Relations
Sort
View
ATMN
1997
13 years 8 months ago
Evaluation of the ER Algorithm ERAQLES in Different ABR Environments
ABR was standardised by the ATM Forum in 1996 . Source, destination and switch behaviours were specified. However, a lot of freedom was left to the switch manufacturers to impleme...
Yan Moret, Serge Fdida, A. Fichou, C. Galand
CORR
2004
Springer
119views Education» more  CORR 2004»
13 years 7 months ago
On Role Logic
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
Viktor Kuncak, Martin C. Rinard
ESOP
2011
Springer
12 years 11 months ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
PASTE
1998
ACM
13 years 11 months ago
Concept Analysis - A New Framework for Program Understanding
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
Gregor Snelting
GECCO
2004
Springer
135views Optimization» more  GECCO 2004»
14 years 22 days ago
CellNet Co-Ev: Evolving Better Pattern Recognizers Using Competitive Co-evolution
A model for the co-evolution of patterns and classifiers is presented. The CellNet system for generating binary classifiers is used as a base for experimentation. The CellNet syste...
Taras Kowaliw, Nawwaf N. Kharma, Chris Jensen, Hus...