1716 search results - page 305 / 344 » Proving Conditional Termination |
123
click to vote
EC
2006
15 years 23 days ago
2006
The frequency with which various elements of the search space of a given evolutionary algorithm are sampled is affected by the family of recombination (reproduction) operators. Th...
124
click to vote
IJAC
2006
15 years 22 days ago
2006
There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which ar...
103
Voted
JFR
2006
15 years 21 days ago
2006
In mobile robotics, there are often features that, while potentially powerful for improving navigation, prove difficult to profit from as they generalize poorly to novel situations...
108
Voted
SIGECOM
2008
ACM
15 years 20 days ago
2008
ACM
We introduce a class of voting rules called generalized scoring rules. Under such a rule, each vote generates a vector of k scores, and the outcome of the voting rule is based onl...
118
Voted
JPDC
2007
15 years 19 days ago
2007
We propose an algorithm to compute the optimal parameters of a probabilistic data propagation algorithm for wireless sensor networks (WSN). The probabilistic data propagation algo...