Sciweavers

2440 search results - page 161 / 488
» Explanation-Based Feature Construction
Sort
View
141
Voted
POPL
2012
ACM
14 years 3 days ago
A type system for borrowing permissions
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kev...
184
Voted
PLDI
2012
ACM
13 years 7 months ago
The implicit calculus: a new foundation for generic programming
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...
PAMI
2012
13 years 7 months ago
Exploring Context and Content Links in Social Media: A Latent Space Method
—Social media networks contain both content and context-specific information. Most existing methods work with either of the two for the purpose of multimedia mining and retrieva...
Guo-Jun Qi, Charu C. Aggarwal, Qi Tian, Heng Ji, T...
113
Voted
CVPR
2003
IEEE
16 years 6 months ago
An Efficient Approach to Learning Inhomogeneous Gibbs Model
Inhomogeneous Gibbs model (IGM) [4] is an effective maximum entropy model in characterizing complex highdimensional distributions. However, its training process is so slow that th...
Ziqiang Liu, Hong Chen, Heung-Yeung Shum
MICCAI
2003
Springer
16 years 5 months ago
A New Brain Segmentation Framework
We present a new brain segmentation framework which we apply to T1-weighted magnetic resonance image segmentation. The innovation of the algorithm in comparison to the state-of-the...
Torsten Butz, Patric Hagmann, Eric Tardif, Reto Me...