4895 search results - page 509 / 979 » Functional Quantum Programming |
167
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
High-accuracy protein structure modeling demands accurate and very fast side chain prediction since such a procedure must be repeatedly called at each step of structure refinement....
224
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
222
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
161
click to vote
OZCHI
2009
ACM
16 years 1 months ago
2009
ACM
Millions of people in Canada have impairments that result in a loss of function and directly affect their ability to carry out activities of daily living. Many individuals with di...
165
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...