3238 search results - page 465 / 648 » Not Enough Points Is Enough |
TCS
2002
13 years 10 months ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
VLDB
2002
ACM
13 years 10 months ago
2002
ACM
Policies are widely used in many systems and applications. Recently, it has been recognized that a "yes/no" response to every scenario is just not enough for many modern...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
IVC
2007
13 years 10 months ago
2007
This paper deals with content-based image retrieval. When the user is looking for large categories, statistical classification techniques are efficient as soon as the training se...
MJ
2007
13 years 10 months ago
2007
This paper presents the experimental observation of the degradation in asymmetric sampled grating DFB lasers by the accelerated life tests. Two degradation phenomena related to th...