4609 search results - page 411 / 922 » Automatic Generation of Sigma-Protocols |
147
click to vote
PVLDB
2010
15 years 5 months ago
2010
The huge amount of temporal data generated from many important applications call for a highly efficient and scalable version index. The TSB-tree has the potential of large scalab...
169
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
148
click to vote
TVCG
2010
15 years 5 months ago
2010
—The non-data components of a visualization, such as axes and legends, can often be just as important as the data itself. They provide contextual information essential to interpr...
192
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—In the next generation high-speed wireless packet access systems, hybrid automatic repeat request (HARQ) is necessary to achieve higher throughput performance. An HARQ with Chas...
212
click to vote
ACL
2010
15 years 4 months ago
2010
This paper describes an initial prototype demonstrator of a Companion, designed as a platform for novel approaches to the following: 1) The use of Information Extraction (IE) tech...