Sciweavers

3229 search results - page 164 / 646
» Theories with the Independence Property
Sort
View
88
Voted
VR
1993
IEEE
15 years 5 months ago
The MR Toolkit Peers Package and Experiment
The MR Toolkit Peer Package is an extension to the MR Toolkit that allows multiple independent MR Toolkit applications to communicate with one another across the Internet. The mas...
Christopher D. Shaw, Mark Green
CANDT
2009
15 years 5 months ago
Communities real and imagined: designing a communication system for zimbabwean activists
In this paper, I describe how various understandings of community activated the design of Dialup Radio, a mobile phonebased independent media distribution system for Zimbabwean ci...
Tad Hirsch
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 1 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
ISMVL
2007
IEEE
91views Hardware» more  ISMVL 2007»
15 years 7 months ago
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
Arnon Avron, Anna Zamansky
IJCNN
2006
IEEE
15 years 7 months ago
Automated Model Selection (AMS) on Finite Mixtures: A Theoretical Analysis
— From the Bayesian Ying-Yang (BYY) harmony learning theory, a harmony function has been developed for finite mixtures with a novel property that its maximization can make model...
Jinwen Ma