754 search results - page 118 / 151 » An Ordered Logic Program Solver |
132
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
119
Voted
ICFP
2003
ACM
16 years 17 days ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
107
Voted
SEMCO
2007
IEEE
15 years 7 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
96
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
105
click to vote
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...