6527 search results - page 1235 / 1306 » On Typing Information Flow |
154
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
Several credential systems have been proposed in which users can authenticate to services anonymously. Since anonymity can give users the license to misbehave, some variants allow...
175
click to vote
CIVR
2007
Springer
16 years 14 days ago
2007
Springer
This paper proposes and compares two novel schemes for near duplicate image and video-shot detection. The first approach is based on global hierarchical colour histograms, using ...
205
click to vote
CPAIOR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
172
click to vote
DILS
2007
Springer
16 years 14 days ago
2007
Springer
2D-Nuclear magnetic resonance (NMR) spectroscopy is a powerful analytical method to elucidate the chemical structure of molecules. In contrast to 1D-NMR spectra, 2D-NMR spectra cor...
183
click to vote
ECTEL
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...