2649 search results - page 192 / 530 » Argumentation for Decision Support |
189
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
123
click to vote
TWC
2008
15 years 6 months ago
2008
This contribution deals with code-aided hypothesis testing for wireless digital receivers. We provide a theoretical justification for a hypothesis testing algorithm that was previo...
188
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
179
click to vote
TSP
2011
15 years 1 months ago
2011
A wavelet is a localized function having a prescribed number of vanishing moments. In this correspondence, we provide precise arguments as to why the Hilbert transform of a wavele...
176
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
In this work, we present HIBE and ABE schemes which are “unbounded” in the sense that the public parameters do not impose additional limitations on the functionality of the sy...