Sciweavers

5401 search results - page 856 / 1081
» Using Versions in GIS
Sort
View
PERVASIVE
2006
Springer
15 years 6 months ago
A Practical Approach to Recognizing Physical Activities
We are developing a personal activity recognition system that is practical, reliable, and can be incorporated into a variety of health-care related applications ranging from person...
Jonathan Lester, Tanzeem Choudhury, Gaetano Borrie...
SCN
2008
Springer
15 years 6 months ago
Two Generic Constructions of Probabilistic Cryptosystems and Their Applications
In this paper, we build, in a generic way, two asymmetric cryptosystems with a careful study of their security. We present first an additively homomorphic scheme which generalizes,...
Guilhem Castagnos
SIAMCOMP
2008
108views more  SIAMCOMP 2008»
15 years 6 months ago
A Primal-Dual Bicriteria Distributed Algorithm for Capacitated Vertex Cover
In this paper we consider the capacitated vertex cover problem which is the variant of vertex cover where each node is allowed to cover a limited number of edges. We present an ef...
Fabrizio Grandoni, Jochen Könemann, Alessandr...
SIGECOM
2008
ACM
103views ECommerce» more  SIGECOM 2008»
15 years 6 months ago
A sufficient condition for voting rules to be frequently manipulable
The Gibbard-Satterthwaite Theorem states that (in unrestricted settings) any reasonable voting rule is manipulable. Recently, a quantitative version of this theorem was proved by ...
Lirong Xia, Vincent Conitzer
AI
2005
Springer
15 years 6 months ago
A logic-based model of intention formation and action for multi-agent subcontracting
We present a formalism for representing the formation of intentions by agents engaged in cooperative activity. We use a syntactic approach presenting a formal logical calculus tha...
John Grant, Sarit Kraus, Donald Perlis