5084 search results - page 832 / 1017 » Proving Possibility Properties |
174
click to vote
ICANN
2010
Springer
15 years 5 months ago
2010
Springer
In this contribution, we explore the possibilities of learning in large-scale, multimodal processing systems operating under real-world conditions. Using an instance of a large-sca...
153
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we propose a method of high-speed 3D object recognition using linear subspace method and our 3D features. This method can be applied to partial models with any si...
144
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—While there has been much progress in designing backpressure based stabilizing algorithms for multihop wireless networks, end-to-end performance (e.g., end-to-end buffer usage) ...
169
click to vote
IPL
2010
15 years 5 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
161
click to vote
ISPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...