8671 search results - page 415 / 1735 » A generator for hierarchical problems |
152
click to vote
DIS
2003
Springer
16 years 3 days ago
2003
Springer
Computing abductive explanations is an important problem, which has been studied extensively in Artiļ¬cial Intelligence (AI) and related disciplines. While computing some abductiv...
204
click to vote
EAAI
2007
15 years 6 months ago
2007
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is deļ¬...
205
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper addresses the general single-machine earliness-tardiness problem with distinct release dates, due dates, and unit costs. The aim of this research is to obtain an exact n...
183
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
200
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...