13376 search results - page 452 / 2676 » Problem Solving with |
123
Voted
WDAG
1990
Springer
15 years 9 months ago
1990
Springer
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...
124
Voted
AMC
2007
15 years 5 months ago
2007
: An extension of some smooth parametrized Newton-like method to the semismooth case is presented in this paper. Thus, the problems due to the fact the B-differential is singular ...
261
click to vote
AGP
2010
IEEE
15 years 10 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
167
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Many real-world problems are multi-objective optimization problems and evolutionary algorithms are quite successful on such problems. Since the task is to compute or approximate t...
139
click to vote
AAAI
1993
15 years 6 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...