1458 search results - page 139 / 292 » Monads for incremental computing |
249
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...
198
click to vote
ICIC
2007
Springer
16 years 19 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 2 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...
141
click to vote
GD
2005
Springer
15 years 12 months ago
2005
Springer
Dynamic processes frequently occur in many applications. Visualizations of dynamically evolving data, for example as part of the data analysis, are typically restricted to a cumula...