4609 search results - page 328 / 922 » Automatic Generation of Sigma-Protocols |
233
click to vote
MIR
2006
ACM
16 years 19 days ago
2006
ACM
We describe a framework for automatically selecting a summary set of photos from a large collection of geo-referenced photographs. Such large collections are inherently difficult ...
327
click to vote
CIDR
2007
15 years 8 months ago
2007
Though database technology has been remarkably successful in building a large market and adapting to the changes of the last three decades, its impact on the broader market of inf...
207
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...
174
click to vote
BPSC
2009
15 years 7 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
178
click to vote
DOCENG
2010
ACM
15 years 6 months ago
2010
ACM
Outline font technology has long been established as the standard way to represent typefaces, allowing characters to be represented independently of print size and resolution. Alt...