6306 search results - page 283 / 1262 » Space, Time, and the Use of Language |
182
click to vote
ASIACRYPT
2006
Springer
15 years 11 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
181
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In recent times, the proliferation of spatial data on the Internet is beginning to allow a much larger audience to access and share data currently available in various Ge...
160
click to vote
USENIX
1994
15 years 8 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...
211
click to vote
CG
2005
Springer
15 years 7 months ago
2005
Springer
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
200
click to vote
WEA
2005
Springer
16 years 24 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...