8109 search results - page 375 / 1622 » A Model of Component-Based Programming |
197
click to vote
ILP
2005
Springer
16 years 9 days ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
205
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
Anyone who works with student employees knows that while it is often difficult to train sufficiently, it is of the utmost importance to have a qualified, knowledgeable staff. We w...
204
click to vote
AAAI
2000
15 years 8 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
210
click to vote
WSC
1998
15 years 8 months ago
1998
We have taken a NIST molecular dynamics simulation program (md3), which was configured as a single sequential process running on a CRAY C90 vector supercomputer, and parallelized ...
195
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...