Sciweavers

42507 search results - page 129 / 8502
» On the analysis of
Sort
View
JFP
2008
75views more  JFP 2008»
15 years 6 months ago
Exploiting reachability and cardinality in higher-order flow analysis
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
Matthew Might, Olin Shivers
MVA
2007
216views Computer Vision» more  MVA 2007»
15 years 6 months ago
Pose estimation for objects with planar surfaces using eigenimage and range data analysis
In this paper we present a novel method for estimating the object pose for 3D objects with welldefined planar surfaces. Specifically, we investigate the feasibility of estimating...
Ovidiu Ghita, Paul F. Whelan, David Vernon, John M...
SAS
2010
Springer
172views Formal Methods» more  SAS 2010»
15 years 5 months ago
Deriving Numerical Abstract Domains via Principal Component Analysis
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
Gianluca Amato, Maurizio Parton, Francesca Scozzar...
EMNLP
2010
15 years 4 months ago
Incorporating Content Structure into Text Analysis Applications
In this paper, we investigate how modeling content structure can benefit text analysis applications such as extractive summarization and sentiment analysis. This follows the lingu...
Christina Sauper, Aria Haghighi, Regina Barzilay
ERCIMDL
2010
Springer
153views Education» more  ERCIMDL 2010»
15 years 3 months ago
Link Proximity Analysis - Clustering Websites by Examining Link Proximity
This research-in-progress paper presents a new approach called Link Proximity Analysis (LPA) for identifying related web pages based on link analysis. In contrast to current techni...
Bela Gipp, Adriana Taylor, Jöran Beel