Sciweavers

1173 search results - page 47 / 235
» Weighted Distributed Systems and Their Logics
Sort
View
TGC
2007
Springer
14 years 4 months ago
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
Luigi Liquori, Michel Cosnard
EUC
2004
Springer
14 years 3 months ago
Construction of Distributed Object Group Framework and Its Execution Analysis Using Distributed Application Simulation
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
Chang-Sun Shin, Chang-Won Jeong, Su-Chong Joo
WSC
1998
13 years 11 months ago
Input Modeling Tools for Complex Problems
A simulation model is composed of inputs and logic; the inputs represent the uncertainty or randomness in the system, while the logic determines how the system reacts to the uncer...
Barry L. Nelson, Michael Yamnitsky
CORR
2011
Springer
210views Education» more  CORR 2011»
13 years 1 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
AAAI
2004
13 years 11 months ago
Fibring Neural Networks
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...
Artur S. d'Avila Garcez, Dov M. Gabbay