Sciweavers

1855 search results - page 84 / 371
» System Consequence
Sort
View
134
Voted
CRYPTO
1991
Springer
144views Cryptology» more  CRYPTO 1991»
15 years 7 months ago
Interactive Proofs with Space Bounded Provers
Recent results in interactive proof systems [?][?] [?] seem to indicate that it is easier for a prover in a single prover interactive proof system to cheat the verifier than it i...
Joe Kilian, Ronitt Rubinfeld
156
Voted
IADIS
2003
15 years 4 months ago
Shorter Time-To-Market Through a Pattern-Driven Architectural Framework
Developing and evolving complex Web-based systems with strict requirement for shorter time-to-market needs good and systematic engineering approaches and especially an elegant way...
Jianyun Zhou, Tor Stålhane
141
Voted
CORR
2008
Springer
109views Education» more  CORR 2008»
15 years 2 months ago
Characterising through Erasing: A Theoretical Framework for Representing Documents Inspired by Quantum Theory
The problem of representing text documents within an Information Retrieval system is formulated as an analogy to the problem of representing the quantum states of a physical syste...
Alvaro Francisco Huertas-Rosero, Leif Azzopardi, C...
136
Voted
DSD
2009
IEEE
88views Hardware» more  DSD 2009»
15 years 1 months ago
A Synthesisable Quasi-Delay Insensitive Result Forwarding Unit for an Asynchronous Processor
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...
Luis A. Tarazona, Doug A. Edwards, Luis A. Plana
115
Voted
CDC
2010
IEEE
113views Control Systems» more  CDC 2010»
14 years 10 months ago
Second-order odd-harmonic repetitive control and its application to active filter control
High order repetitive control has been introduced to overcome performance decay of repetitive control systems under varying frequency of the signals to be tracked/rejected or impro...
Ramon Costa-Castelló, German A. Ramos, Jose...