Sciweavers

4131 search results - page 425 / 827
» Compactness in Topology and Computation
Sort
View
CHI
2010
ACM
16 years 1 months ago
OneBusAway: results from providing real-time arrival information for public transit
Public transit systems play an important role in combating traffic congestion, reducing carbon emissions, and promoting compact, sustainable urban communities. The usability of p...
Brian Ferris, Kari Watkins, Alan Borning
198
Voted
HYBRID
2010
Springer
16 years 1 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
170
Voted
CVPR
2009
IEEE
16 years 1 months ago
Resolution-Invariant Image Representation and its applications
We present a Resolution-Invariant Image Representation (RIIR) framework in this paper. The RIIR framework includes the methods of building a set of multi-resolution bases from tra...
Jinjun Wang, Shenghuo Zhu, Yihong Gong
192
Voted
CVPR
2009
IEEE
16 years 1 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...
211
Voted
CVPR
2009
IEEE
16 years 1 months ago
Random walks on graphs to model saliency in images
We formulate the problem of salient region detection in images as Markov random walks performed on images represented as graphs. While the global properties of the image are extra...
Viswanath Gopalakrishnan, Yiqun Hu, Deepu Rajan