661 search results - page 7 / 133 » Argument Reduction by Factoring |
IACR
2011
12 years 7 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...
ESOP
2005
Springer
14 years 28 days ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
PRICAI
2000
Springer
13 years 11 months ago
2000
Springer
We describe a mechanism which recognizes a user's intentions from short-form rejoinders to arguments generated from Bayesian networks. The mechanism builds candidate reasoning...
ICAIL
2009
ACM
14 years 1 months ago
2009
ACM
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper is concerned with developing an information-theoretic framework to aggregate the state space of a Hidden Markov Model (HMM) on discrete state and observation spaces. The...