Sciweavers

21379 search results - page 4209 / 4276
» The profession of IT - Evolutionary system development
Sort
View

Publication
323views
15 years 29 days ago
Reconstruction of snow and ice surfaces using multiple view  vision techniques
In this paper we describe a vision system for reconstructing the relative structure of snow and ice surfaces. This effort is one step toward the long-term goal of rendering absol...
GOWRI SOMANATH , ROHITH MV , CATHLEEN A. GEIGER ...
98
Voted
ICFP
2010
ACM
15 years 29 days ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
ATAL
2010
Springer
15 years 3 days ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...
MM
2010
ACM
198views Multimedia» more  MM 2010»
15 years 3 days ago
Social pixels: genesis and evaluation
Huge amounts of social multimedia is being created daily by a combination of globally distributed disparate sensors, including human-sensors (e.g. tweets) and video cameras. Taken...
Vivek K. Singh, Mingyan Gao, Ramesh Jain
MOBICOM
2010
ACM
15 years 3 days ago
Bartendr: a practical approach to energy-aware cellular data scheduling
Cellular radios consume more power and suffer reduced data rate when the signal is weak. According to our measurements, the communication energy per bit can be as much as 6x highe...
Aaron Schulman, Vishnu Navda, Ramachandran Ramjee,...
« Prev « First page 4209 / 4276 Last » Next »