Sciweavers

4352 search results - page 357 / 871
» A Representation Theorem and Applications
Sort
View
ASIACRYPT
2000
Springer
15 years 12 months ago
Key Improvements to XTR
Abstract. This paper describes improved methods for XTR key representation and parameter generation (cf. [4]). If the field characteristic is properly chosen, the size of the XTR ...
Arjen K. Lenstra, Eric R. Verheul
EP
1998
Springer
15 years 11 months ago
Autotag: A Tool for Creating Structured Document Collections from Printed Materials
We report on the design and implementation of a system which automates the process of capturing structured documents from the optically recognized form of printed materials. The sy...
Kazem Taghva, Allen Condit, Julie Borsack
KR
1994
Springer
15 years 11 months ago
Modalities Over Actions, I. Model Theory
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
L. Thorne McCarty
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
15 years 11 months ago
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
Ralf Hartmut Güting
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
15 years 11 months ago
Improving the performance of active set based Model Predictive Controls by dataflow methods
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
Ruirui Gu, Shuvra S. Bhattacharyya, William S. Lev...