5084 search results - page 966 / 1017 » Proving Possibility Properties |
ACII
2007
Springer
15 years 6 months ago
2007
Springer
ended abstract reports on on-going work exploring the addition of a certain degree of control over expressivity in a unit selection context. Rather than merely choosing one unit se...
95
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Tags or observable features shared by a group of similar agents are effectively used in real and artificial societies to signal intentions and can be used to infer unobservable ...
104
click to vote
EUROCRYPT
2007
Springer
15 years 6 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
109
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
100
Voted
IBPRIA
2007
Springer
15 years 6 months ago
2007
Springer
Multivariate imaging technologies such as Dynamic Contrast-Enhanced Magnetic Resonance Imaging (DCE-MRI) have recently gained an important attention as it improves tumour detection...