10568 search results - page 461 / 2114 » Computer Intelligence and Formalization |
133
Voted
AAAI
2006
15 years 6 months ago
2006
Many lower bound computation methods for branch and bound Max-SAT solvers can be explained as procedures that search for disjoint inconsistent subformulas in the Max-SAT instance ...
154
Voted
AIPS
2003
15 years 6 months ago
2003
Grid computing gives users access to widely distributed networks of computing resources to solve large-scale tasks such as scientific computation. These tasks are defined as stand...
166
Voted
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
156
click to vote
PC
2007
15 years 4 months ago
2007
Service address routing is introduced as a novel and powerful paradigm for the integration of resource management functions into the interconnection fabric of cluster computers. S...
129
click to vote
SUTC
2008
IEEE
15 years 11 months ago
2008
IEEE
As the robotic industry is growing boomingly, the functionalities and system's architecture of robots are more and more complex. The development of robotic application system...