Sciweavers

4335 search results - page 788 / 867
» Privatizing Constraint Optimization
Sort
View
ECOOP
2011
Springer
13 years 9 months ago
Tunable Static Inference for Generic Universe Types
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
Werner Dietl, Michael D. Ernst, Peter Müller
ICC
2011
IEEE
201views Communications» more  ICC 2011»
13 years 9 months ago
Channel Aggregation in Cognitive Radio Networks with Practical Considerations
—In cognitive radio (CR) networks, licensed spectrum that can be shared by secondary users (SUs) is always restricted by the needs of primary users (PUs). Although channel aggreg...
Bo Gao, Yaling Yang, Jung-Min Park 0001
PAMI
2012
13 years 1 months ago
Simultaneous Video Stabilization and Moving Object Detection in Turbulence
Turbulence mitigation refers to the stabilization of videos with non-uniform deformations due to the influence of optical turbulence. Typical approaches for turbulence mitigation ...
Omar Oreifej, Xin Li, and Mubarak Shah
PAMI
2012
13 years 14 days ago
Angular Embedding: A Robust Quadratic Criterion
Abstract—Given the size and confidence of pairwise local orderings, angular embedding (AE) finds a global ordering with a nearglobal optimal eigensolution. As a quadratic crite...
Stella Yu
KDD
2012
ACM
243views Data Mining» more  KDD 2012»
13 years 14 days ago
Storytelling in entity networks to support intelligence analysts
Intelligence analysts grapple with many challenges, chief among them is the need for software support in storytelling, i.e., automatically ‘connecting the dots’ between dispar...
M. Shahriar Hossain, Patrick Butler, Arnold P. Boe...