4609 search results - page 516 / 922 » Automatic Generation of Sigma-Protocols |
186
click to vote
EHCI
2004
15 years 8 months ago
2004
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...
167
click to vote
BXML
2003
15 years 8 months ago
2003
Abstract: GEMINI (Generic Environment for Multilingual Interactive Natural Interfaces) is an EC funded research project. The goal of GEMINI is to provide a flexible platform for t...
180
click to vote
SCS
2004
15 years 8 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
259
Voted
NPAR
2010
ACM
15 years 7 months ago
2010
ACM
The field of non-photorealistic rendering is reaching a mature state. In its infancy, researchers explored the mimicry of methods and tools used by traditional artists to generate...
161
Voted
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Improving data quality is a time-consuming, labor-intensive and often domain specific operation. Existing data repair approaches are either fully automated or not efficient in int...