2905 search results - page 306 / 581 » Formal Memetic Algorithms |
111
click to vote
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
118
click to vote
EWSN
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of cooperative intrusion detection in wireless sensor networks where the nodes are equipped with local detector modules and have to identify the intruder in...
KDD
2008
ACM
16 years 1 months ago
2008
ACM
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
206
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
194
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...