Sciweavers

109 search results - page 16 / 22
» Geometric Duality in Multiple Objective Linear Programming
Sort
View
TASE
2008
IEEE
14 years 2 months ago
A Fundamental Permission Interpretation for Ownership Types
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
Yang Zhao, John Boyland
PLDI
2012
ACM
11 years 10 months ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
ACMICEC
2003
ACM
172views ECommerce» more  ACMICEC 2003»
14 years 26 days ago
Automated mechanism design: complexity results stemming from the single-agent setting
The aggregation of conflicting preferences is a central problem in multiagent systems. The key difficulty is that the agents may report their preferences insincerely. Mechanism ...
Vincent Conitzer, Tuomas Sandholm
CVPR
2012
IEEE
12 years 1 months ago
Branch-and-price global optimization for multi-view multi-object tracking
We present a new algorithm to jointly track multiple objects in multi-view images. While this has been typically addressed separately in the past, we tackle the problem as a single...
Laura Leal-Taixe, Gerard Pons-Moll, Bodo Rosenhahn
IPMI
2007
Springer
14 years 8 months ago
Robust Parametric Modeling Approach Based on Domain Knowledge for Computer Aided Detection of Vertebrae Column Metastases in MRI
This study evaluates a robust parametric modeling approach for computer-aided detection (CAD) of vertebrae column metastases in whole-body MRI. Our method involves constructing a m...
Anna K. Jerebko, G. P. Schmidt, Xiang Sean Zhou, J...