10916 search results - page 319 / 2184 » On Constructive Connectives and Systems |
221
click to vote
IACR
2011
14 years 6 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...
235
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—Handwritten text line segmentation on real-world data presents significant challenges that cannot be overcome by any single technique. Given the diversity of approaches and the...
183
click to vote
WETICE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we introduce Social VPNs, a novel system architecture which leverages existing social networking infrastructures to enable ad-hoc VPNs which are self-configuring, s...
157
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...
171
click to vote
JOCN
2010
15 years 5 months ago
2010
■ Although many examples exist for shared neural representations of self and other, it is unknown how such shared representations interact with the rest of the brain. Furthermor...