193 search results - page 13 / 39 » Shape Analysis for Composite Data Structures |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
DOCENG
2005
ACM
13 years 10 months ago
2005
ACM
Document representations can rapidly become unwieldy if they try to encapsulate all possible document properties, ranging tract structure to detailed rendering and layout. We pres...
ICML
2010
IEEE
13 years 9 months ago
2010
IEEE
Semi-supervised learning has emerged as a popular framework for improving modeling accuracy while controlling labeling cost. Based on an extension of stochastic composite likeliho...
CIKM
2006
Springer
14 years 11 days ago
2006
Springer
With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customers. Toward ...
JMM2
2006
13 years 8 months ago
2006
Research has shown that the dynamics of facial motion are important in the perception of gender, identity, and emotion. In this paper we show that it is possible to use a multi-lin...