5570 search results - page 642 / 1114 » Applications of Fair Testing |
173
click to vote
FROCOS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
175
click to vote
HUC
2005
Springer
16 years 12 days ago
2005
Springer
Ubiquitous computing technologies which are cheap and easy to use are more likely to be adopted by users beyond the ubiquitous computing community. We present an ultrasonic-only tr...
185
click to vote
ICALP
2005
Springer
16 years 12 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
171
click to vote
ICAPR
2005
Springer
16 years 12 days ago
2005
Springer
This paper describes a lung field segmentation method, working on digital Postero-Anterior chest radiographs. The lung border is detected by integrating the results obtained by tw...
186
click to vote
INEX
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In its second year, the Interactive Track at INEX focused on addressing some fundamental issues of interactive XML retrieval: is element retrieval useful for searchers, w...