13376 search results - page 498 / 2676 » Problem Solving with |
158
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....
177
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
— In this paper, we discuss the information–theoretic approach to finding the pattern of transmission powers of the stations in a CDMA system which maximizes the aggregate cap...
177
click to vote
ENTCS
2010
15 years 3 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
142
click to vote
AAAI
1994
15 years 7 months ago
1994
This paper conjectures a computational account of how children might learn the meanings of words in their native language. First, a simplified version of the lexical acquisition t...
141
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
One machine scheduling problem with fuzzy processing times and a penalty for each job being late (the penalty is independent of the magnitude of the lateness) is considered. The o...