1687 search results - page 134 / 338 » Which pointer analysis should I use |
116
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...
134
click to vote
WSDM
2010
ACM
16 years 1 months ago
2010
ACM
Domain-oriented sentiment lexicons are widely used for finegrained sentiment analysis on reviews; therefore, the automatic construction of domain-oriented sentiment lexicon is a f...
202
Voted
TOG
2008
15 years 4 months ago
2008
Video, like images, should support content aware resizing. We present video retargeting using an improved seam carving operator. Instead of removing 1D seams from 2D images we rem...
123
Voted
ICIAR
2004
Springer
15 years 9 months ago
2004
Springer
We present an information theoretic approach for learning a linear dimension reduction transform for object classification. The theoretic guidance of the approach is that the trans...
116
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Mixed finite element methods solve a PDE using two or more variables. The theory of Discrete Exterior Calculus explains why the degrees of freedom associated to the different varia...