Sciweavers

16616 search results - page 350 / 3324
» Extending Extended Vacuity
Sort
View
176
Voted
TIME
2008
IEEE
16 years 1 months ago
Decomposition of Decidable First-Order Logics over Integers and Reals
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
Florent Bouchy, Alain Finkel, Jérôme ...
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
16 years 1 months ago
Mobile Robot Localization based on a Polynomial Approach
— This paper introduces a new analytical algorithm to perform the localization of a mobile robot using odometry and laser readings. Based on a polynomial approach, the proposed a...
C. Manes, Agostino Martinelli, F. Martinelli, P. P...
174
Voted
ITNG
2007
IEEE
16 years 1 months ago
Hypergraphs for Near-lossless Volumetric Compression
A hypergraphs-based image representation is already used for 2D lossless image compression. In this paper we extend this hypergraph representation on 3D-image and we add an α-tol...
Luc Gillibert, Alain Bretto
VTC
2007
IEEE
129views Communications» more  VTC 2007»
16 years 1 months ago
Hybrid Model of Least Squares Handover Algorithms in Wireless Networks
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
Claudia Rinaldi, Fortunato Santucci, Carlo Fischio...
CEAS
2007
Springer
16 years 29 days ago
A Game-Theoretic Investigation of the Effect of Human Interactive Proofs on Spam E-mail
We show how a game-theoretic model of spam e-mailing, which we had introduced in previous work, can be extended to include the possibility of employing Human Interactive Proofs (h...
Dimitrios K. Vassilakis, Ion Androutsopoulos, Evan...