4586 search results - page 105 / 918 » Computing stable models in parallel |
139
Voted
GRID
2007
Springer
15 years 8 months ago
2007
Springer
—Due to the dynamic nature of grid environments, schedule algorithms always need assistance of a long-time-ahead load prediction to make decisions on how to use grid resources ef...
101
Voted
SYNASC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
129
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
122
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
In recent years, we have witnessed a growing interest in high performance computing (HPC) using a cluster of workstations. However, many challenges remain to be resolved before th...
134
Voted
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
The link structure of the Web graph is used in algorithms such as Kleinberg’s HITS and Google’s PageRank to assign authoritative weights to Web pages and thus rank them. Both ...