2362 search results - page 371 / 473 » Programming in Standard ML |
206
click to vote
SC
2004
ACM
16 years 25 days 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...
191
Voted
AMAI
2004
Springer
16 years 25 days 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...
199
click to vote
AUSAI
2004
Springer
16 years 25 days 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...
170
Voted
CP
2004
Springer
16 years 24 days 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...
174
Voted
CSL
2004
Springer
16 years 24 days 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 ...