4743 search results - page 128 / 949 » The PlusCal Algorithm Language |
115
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Due to their role of receptors or transporters, membrane proteins play a key role in many important biological functions. In our work we used Grammatical Inference (GI...
276
Voted
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Graphics processing units (GPUs) provide both memory bandwidth and arithmetic performance far greater than that available on CPUs but, because of their Single-Instruction-Multiple...
105
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
119
click to vote
ENTCS
2007
15 years 2 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
96
Voted
SIGIR
2002
ACM
15 years 2 months ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...