518 search results - page 56 / 104 » Automating Proofs in Category Theory |
104
click to vote
ICAIL
2005
ACM
15 years 5 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...
102
click to vote
GIS
2010
ACM
14 years 9 months ago
2010
ACM
ended abstract looks forward at which shared concepts and approaches are shaping future research in the field of location privacy, as well as reflecting on the broader achievement...
DAC
2009
ACM
16 years 25 days ago
2009
ACM
In this study, we apply a novel synthesis technique for implementing robust digital computation in nanoscale lattices with random interconnects: percolation theory on random graph...
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
We consider (prediction) markets where myopic agents sequentially interact with an automated market maker. We show a broad negative result: by varying the order of participation, ...