4325 search results - page 187 / 865 » Incremental computation with names |
250
click to vote
CONSTRAINTS
2011
15 years 1 months ago
2011
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [8] in that it ...
187
click to vote
JCS
2011
14 years 9 months ago
2011
Malicious software—so called malware—poses a major threat to the security of computer systems. The amount and diversity of its variants render classic security defenses ineffe...
223
click to vote
HPDC
2012
IEEE
13 years 9 months ago
2012
IEEE
Applications often involve iterative execution of identical or slowly evolving calculations. Such applications require incremental rebalancing to improve load balance across itera...
200
click to vote
ICIC
2007
Springer
16 years 20 days ago
2007
Springer
We suggest to apply the hybrid neural network based on multi layer perceptron (MLP) and adaptive resonance theory (ART-2) for solving of navigation task of mobile robots. This appr...
161
click to vote
GRC
2005
IEEE
16 years 4 days ago
2005
IEEE
An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. We compare the new approach with our previous nonincremental a...