Sciweavers

5401 search results - page 232 / 1081
» Using Versions in GIS
Sort
View
SAGT
2009
Springer
140views Game Theory» more  SAGT 2009»
15 years 11 months ago
Price of Stability in Survivable Network Design
We study the survivable version of the game theoretic network formation model known as the Connection Game, originally introduced in [5]. In this model, players attempt to connect ...
Elliot Anshelevich, Bugra Caskurlu
176
Voted
LICS
2006
IEEE
15 years 11 months ago
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
Catuscia Palamidessi, Vijay A. Saraswat, Frank D. ...
PLDI
1997
ACM
15 years 9 months ago
Dynamic Feedback: An Effective Technique for Adaptive Computing
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...
Pedro C. Diniz, Martin C. Rinard
CVPR
2008
IEEE
16 years 7 months ago
Geo-spatial aerial video processing for scene understanding and object tracking
This paper presents an approach to extracting and using semantic layers from low altitude aerial videos for scene understanding and object tracking. The input video is captured by...
Jiangjian Xiao, Hui Cheng, Feng Han, Harpreet S. S...
151
Voted
WWW
2008
ACM
16 years 5 months ago
A differential notion of place for local search
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
Vlad Tanasescu, John Domingue