1867 search results - page 179 / 374 » Model-Checking Based Data Retrieval |
187
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
— The peer-to-peer network for sharing information and data through direct exchange has emerged rapidly in recent years. The searching problem is a basic issue that addresses the...
181
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes high-resolution waveform matching based on a Phase-Only Correlation (POC) technique and its application for a side-channel attack. Such attacks, such as Simple...
169
click to vote
LREC
2010
15 years 7 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...
166
click to vote
ECIR
2008
Springer
15 years 7 months ago
2008
Springer
IR research has a strong tradition of laboratory evaluation of systems. Such research is based on test collections, pre-defined test topics, and standard evaluation metrics. While ...
176
click to vote
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
Radiation is often used in prostate cancer treatments. Radiotherapy treatment planning is a complex decision making process. In order to make a patient well, the oncologist has to...