Sciweavers

4192 search results - page 160 / 839
» Efficient testing of groups
Sort
View
ASIACRYPT
2000
Springer
15 years 4 months ago
Round-Efficient Conference Key Agreement Protocols with Provable Security
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...
Wen-Guey Tzeng, Zhi-Jia Tzeng
117
Voted
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 4 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
87
Voted
INEX
2007
Springer
15 years 7 months ago
The INEX 2007 Multimedia Track
The INEX Multimedia track focuses on using the structure of XML documents to extract, relate, and combine the relevance of different multimedia fragments. This paper presents a br...
Theodora Tsikrika, Thijs Westerveld
99
Voted
LREC
2010
171views Education» more  LREC 2010»
15 years 2 months ago
Assessing the Impact of English Language Skills and Education Level on PubMed Searches by Dutch-speaking Users
The aim of this study was to assess the retrieval effectiveness of nursing students in the Dutch-speaking part of Belgium. We tested two groups: students from the master Nursing a...
Klaar Vanopstal, Robert Vander Stichele, Godelieve...
126
Voted
BIBM
2008
IEEE
159views Bioinformatics» more  BIBM 2008»
15 years 7 months ago
Probe Design for Compressive Sensing DNA Microarrays
Abstract—Compressive Sensing Microarrays (CSM) are DNAbased sensors that operate using group testing and compressive sensing (CS) principles. In contrast to conventional DNA micr...
Wei Dai, Olgica Milenkovic, Mona A. Sheikh, Richar...