9425 search results - page 1699 / 1885 » Some Notes on Models and Modelling |
156
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
134
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
145
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents some interactive features we have added on our street-view web navigation application. Our system allows to navigate through a huge amount of data (panoramas a...
155
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents a supervised manifold learning model for dimensionality reduction in image and video classification tasks. Unlike most manifold learning models that emphasize ...
144
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
An aggregate signature scheme is a digital signature scheme where anyone given n signatures on n messages from n users can aggregate all these signatures into a single short signa...