677 search results - page 100 / 136 » Dependent Types from Counterexamples |
EUROIMSA
2006
14 years 11 months ago
2006
While searching the web, the user is often confronted by a great number of results, generally displayed in a list which is sorted according to the relevance of the results. Facing...
SPIESR
2004
14 years 11 months ago
2004
Evaluation in visual information retrieval is usually performed by executing test queries and calculating recall and precision based on predefined media collections and ground tru...
PICS
2003
14 years 11 months ago
2003
In order to recover spectral reflectances or transmittances using a multispectral imaging based technique, it is necessary to know the spectral radiance of the illuminant used to ...
ICMAS
1998
14 years 11 months ago
1998
In automated negotiation systems consisting of selfinterested agents, contracts have traditionally been binding, i.e., impossible to breach. Such contracts do not allow the agents...
UAI
2000
14 years 11 months ago
2000
The securities market is the fundamental theoretical framework in economics and finance for resource allocation under uncertainty. Securities serve both to reallocate risk and to ...