Sciweavers

960 search results - page 138 / 192
» Computational Semantics Of Mass Terms
Sort
View
MOBIHOC
2004
ACM
14 years 7 months ago
A scalable approach for reliable downstream data delivery in wireless sensor networks
There exist several applications of sensor networks where reliability of data delivery can be critical. While the redundancy inherent in a sensor network might increase the degree...
Seung-Jong Park, Ramanuja Vedantham, Raghupathy Si...
PPOPP
2010
ACM
14 years 5 months ago
Featherweight X10: a core calculus for async-finish parallelism
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
Jonathan K. Lee, Jens Palsberg
SAC
2010
ACM
14 years 2 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
CVPR
2009
IEEE
14 years 2 months ago
Understanding videos, constructing plots learning a visually grounded storyline model from annotated videos
Analyzing videos of human activities involves not only recognizing actions (typically based on their appearances), but also determining the story/plot of the video. The storyline ...
Abhinav Gupta, Praveen Srinivasan, Jianbo Shi, Lar...
ICPR
2008
IEEE
14 years 2 months ago
Recognizing picture-taking environment from satellite images: A feasibility study
Semantic event recognition based only on vision cues has had limited success on unconstrained still pictures. Metadata related to picture taking provides contextual cues independe...
Jiebo Luo, Wei Hao, Dale McIntyre, Dhiraj Joshi, J...