5090 search results - page 521 / 1018 » Constructing Strategies for Programming |
193
click to vote
ENTCS
2007
15 years 7 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
187
click to vote
AIEDAM
2000
15 years 6 months ago
2000
In designing a state space of possible designs is implied by the representation used and the computational processes that operate on that representation. GAs are a means of effect...
189
click to vote
PR
2007
15 years 6 months ago
2007
Ensemble learning is attracting much attention from pattern recognition and machine learning domains for good generalization. Both theoretical and experimental researches show tha...
202
click to vote
PUC
2008
2008
Technology scruples: why intimidation will not save the recording industry and how enchantment might
15 years 5 months ago
While the recording industry continues to lobby for increasingly draconian laws to protect their interests, users of digital technology continue to share files and copy protected ...
194
click to vote
TCOM
2010
15 years 5 months ago
2010
Abstract—We investigate routing in cooperative multipleterminal wireless networks in which the nodes can collaborate with each other in data transmission. First, we motivate coop...