2362 search results - page 371 / 473 » Programming in Standard ML |
139
Voted
SC
2004
ACM
15 years 9 months ago
2004
ACM
Today, clusters built from commodity PCs dominate high-performance computing, with systems containing thousands of processors now being deployed. As node counts for multi-teraflo...
121
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
123
Voted
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
107
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
125
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...