632 search results - page 112 / 127 » Proving Invariants of Functional Programs |
121
click to vote
CIM
2011
14 years 9 months ago
2011
We propose to return to the roots of Artificial/Computational Intelligence applicability to board games domain by attempting to mimic human way of playing (or human intelligence ...
172
click to vote
POST
2012
13 years 10 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
169
click to vote
FOCS
2004
IEEE
15 years 6 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...
116
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
142
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
Database queries often take the form of correlated SQL queries. Correlation refers to the use of values from the outer query block to compute the inner subquery. This is a conveni...