7197 search results - page 1159 / 1440 » On the computational power of BlenX |
161
click to vote
DAM
2006
15 years 6 months ago
2006
We address the classical knapsack problem and a variant in which an upper bound is imposed on the number of items that can be selected. We show that appropriate combinations of ro...
175
click to vote
ENTCS
2006
15 years 6 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
173
click to vote
EOR
2006
15 years 6 months ago
2006
The subject of this paper is the formulation and solution of a variation of the classical binary knapsack problem. The variation that is addressed is termed the ``fixed-charge kna...
184
click to vote
GIS
2006
ACM
15 years 6 months ago
2006
ACM
The paper is written jointly by two parties, computer scientists specializing in geovisualization and experts in forestry, who cooperated within a joint project. The authors tell ...
170
click to vote
IJON
2006
15 years 6 months ago
2006
The immense computational and adaptive power of the cerebral cortex emerges from the collective dynamics of large populations of interacting neurons. Thus, for theoretical investi...