4126 search results - page 597 / 826 » Set based logic programming |
118
click to vote
EOR
2010
15 years 3 months ago
2010
In the Attractive Traveling Salesman Problem the vertex set is partitioned into facility vertices and customer vertices. A maximum profit tour must be constructed on a subset of t...
EOR
2006
15 years 3 months ago
2006
We used the so-called deterministic annealing algorithm due to Rose and Gurewitz by the classification of patent documents. A C++ program based on this algorithm was run first on s...
141
click to vote
MICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
Data-parallel programs are both growing in importance and increasing in diversity, resulting in specialized processors targeted at specific classes of these programs. This paper ...
145
click to vote
FAC
2010
15 years 16 days ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
109
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Paper remains a prevalent medium in mobile usage contexts due to its inherent flexibility and robustness. Mobile computing solutions begin to provide powerful and convenient func...