2393 search results - page 229 / 479 » Fuzzy-UCS: preliminary results |
163
click to vote
JCSS
2007
15 years 6 months ago
2007
We consider the problem of counting the number of lattice vectors of a given length and prove several results regarding its computational complexity. We show that the problem is â™...
132
click to vote
AMAI
2002
Springer
15 years 6 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
164
click to vote
ASC
2004
15 years 6 months ago
2004
Genetic algorithms are applied to an important, but little-investigated, network design problem, that of reconfiguring the topology and link capacities of an operational network t...
142
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We discuss potential market mechanisms for the GRID. A complete dynamical model of a GRID market is defined with three types of agents. Providers, middlemen and users exchange uni...
222
click to vote
CSSE
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...