2647 search results - page 174 / 530 » Solving Term Inequalities |
128
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
We study consensus in a message-passing system where only some of the Ò¾ links exhibit some synchrony. This problem was previously studied for systems with process crashes; we n...
167
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
— A solution for the slow convergence of most learning rules for Recurrent Neural Networks (RNN) has been proposed under the terms Liquid State Machines (LSM) and Echo State Netw...
146
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present a game theoretic approach to solve the static load balancing problem in a distributed system which consists of heterogeneous computers connected by a sing...
133
click to vote
SUTC
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose and formally characterize a new problem named the dynamic context coverage problem in capabilityconstrained mobile sensor network environments. The goal is to move and ...
148
click to vote
ADC
2006
Springer
15 years 10 months ago
2006
Springer
We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...