Sciweavers

1568 search results - page 191 / 314
» The problem of examination questions in algorithmics
Sort
View
ACISP
1998
Springer
15 years 10 months ago
Detecting Key-Dependencies
The confidentiality of encrypted data depends on how well the key under which it was encrypted is maintained. If a session key was exchanged encrypted under a long-term key, exposu...
Tage Stabell-Kulø, Arne Helme, Gianluca Din...
HYBRID
2000
Springer
15 years 10 months ago
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
Joseph S. Miller
AAAI
2006
15 years 7 months ago
Mechanisms for Partial Information Elicitation: The Truth, but Not the Whole Truth
We examine a setting in which a buyer wishes to purchase probabilistic information from some agent. The seller must invest effort in order to gain access to the information, and m...
Aviv Zohar, Jeffrey S. Rosenschein
ACL
2006
15 years 7 months ago
Models for Sentence Compression: A Comparison across Domains, Training Requirements and Evaluation Measures
Sentence compression is the task of producing a summary at the sentence level. This paper focuses on three aspects of this task which have not received detailed treatment in the l...
James Clarke, Mirella Lapata
PRL
2007
167views more  PRL 2007»
15 years 5 months ago
Calibration and removal of lateral chromatic aberration in images
This paper addresses the problem of compensating for lateral chromatic aberration in digital images through colour plane realignment. Two main contributions are made: the derivati...
John Mallon, Paul F. Whelan