Sciweavers

4131 search results - page 556 / 827
» Compactness in Topology and Computation
Sort
View
ATAL
2009
Springer
16 years 1 months ago
False name manipulations in weighted voting games: splitting, merging and annexation
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
Haris Aziz, Mike Paterson
MOBISYS
2010
ACM
15 years 9 months ago
GreenGPS: a participatory sensing fuel-efficient maps application
This paper develops a navigation service, called GreenGPS, that uses participatory sensing data to map fuel consumption on city streets, allowing drivers to find the most fueleffi...
Raghu K. Ganti, Nam Pham, Hossein Ahmadi, Saurabh ...
CGF
2008
80views more  CGF 2008»
15 years 6 months ago
A Semi-Lagrangian CIP Fluid Solver without Dimensional Splitting
In this paper, we propose a new constrained interpolation profile (CIP) method that is stable and accurate but requires less amount of computation compared to existing CIP-based s...
Doyub Kim, Oh-Young Song, Hyeong-Seok Ko
COMPUTER
2007
135views more  COMPUTER 2007»
15 years 6 months ago
A Language for Human Action
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
Gutemberg Guerra-Filho, Yiannis Aloimonos
CVPR
2007
IEEE
16 years 8 months ago
A Surface-Growing Approach to Multi-View Stereo Reconstruction
We present a new approach to reconstruct the shape of a 3D object or scene from a set of calibrated images. The central idea of our method is to combine the topological flexibilit...
Martin Habbecke, Leif Kobbelt