Sciweavers

21437 search results - page 3991 / 4288
» Hardware
Sort
View
MST
2010
122views more  MST 2010»
15 years 1 months ago
Self-Referential Justifications in Epistemic Logic
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
Roman Kuznets
MTA
2010
162views more  MTA 2010»
15 years 1 months ago
Combining spatial and temporal patches for scalable video indexing
This paper tackles the problem of scalable video indexing. We propose a new framework combining spatial and motion patch descriptors. The spatial descriptors are based on a multisc...
Paolo Piro, Sandrine Anthoine, Eric Debreuve, Mich...
PERCOM
2010
ACM
15 years 1 months ago
Local map generation using position and communication history of mobile nodes
In this paper, we propose an algorithm to estimate 2D shapes and positions of obstacles such as buildings using GPS and wireless communication history of mobile nodes. Our algorith...
Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi...
PR
2010
135views more  PR 2010»
15 years 1 months ago
Revisiting priority queues for image analysis
Many algorithms in image analysis require a priority queue, a data structure that holds pointers to pixels in the image, and which allows efficiently finding the pixel in the queu...
Cris L. Luengo Hendriks
SIGMOBILE
2010
138views more  SIGMOBILE 2010»
15 years 1 months ago
A self-organizing localization reference grid
We propose a non-persistent indoor localization system using a self-organizing reference grid of autonomous robot systems. The key idea is to continuously maintain accurate relati...
Juergen Eckert, Félix Jesús Villanue...
« Prev « First page 3991 / 4288 Last » Next »