8766 search results - page 609 / 1754 » Functional logic programming |
153
click to vote
CG
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Over the years, various research projects have attempted to develop a chess program that learns to play well given little prior knowledge beyond the rules of the game. Ea...
129
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Many common disorders have multiple genetic components which convey increased susceptibility. SNPs have been used to identify genetic components which are associated w...
150
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Many DNA regulatory elements occur as multiple instances within a target promoter. Gibbs sampling programs for finding DNA regulatory elements de novo can be prohibiti...
154
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
133
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We develop a formalization of the Size-Change Principle in Isabelle/HOL and use it to construct formally certified termination proofs for recursive functions automatically.