1724 search results - page 83 / 345 » Abstract Interpreters for Free |
197
click to vote
IACR
2011
14 years 5 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...
170
click to vote
MMM
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. We present a novel video retrieval system that accepts annotated freehand sketches as queries. Existing sketch based video retrieval (SBVR) systems enable the appearance ...
168
click to vote
IJAC
2000
15 years 5 months ago
2000
Starting from a certain monoid that describes the geometry of the left self-distributivity identity, we construct an explicit realization of the free left self-distributive system ...
148
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
144
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...