Sciweavers

2542 search results - page 442 / 509
» An Operational Definition of Context
Sort
View
118
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
Bargaining towards maximized resource utilization in video streaming datacenters
—Datacenters can be used to host large-scale video streaming services with better operational efficiency, as the multiplexing achieved by virtualization technologies allows diff...
Yuan Feng, Baochun Li, Bo Li 0001
116
Voted
CVPR
2012
IEEE
13 years 3 months ago
Detecting regions of interest in dynamic scenes with camera motions
We present a method to detect the regions of interests in moving camera views of dynamic scenes with multiple moving objects. We start by extracting a global motion tendency that ...
Kihwan Kim, Dongryeol Lee, Irfan A. Essa
129
Voted
CVPR
2012
IEEE
13 years 3 months ago
Locality-constrained and spatially regularized coding for scene categorization
Improving coding and spatial pooling for bag-of-words based feature design have gained a lot of attention in recent works addressing object recognition and scene classification. ...
Aymen Shabou, Hervé Le Borgne
81
Voted
WWW
2003
ACM
16 years 1 months ago
Conversation specification: a new approach to design and analysis of e-service composition
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su
244
Voted
PLDI
2009
ACM
16 years 1 months ago
An integrated proof language for imperative programs
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
Karen Zee, Viktor Kuncak, Martin C. Rinard