Sciweavers

44 search results - page 2 / 9
» Static Correctness of Hierarchical Procedures
Sort
View
EMNLP
2007
13 years 9 months ago
Incremental Text Structuring with Online Hierarchical Ranking
Many emerging applications require documents to be repeatedly updated. Such documents include newsfeeds, webpages, and shared community resources such as Wikipedia. In this paper ...
Erdong Chen, Benjamin Snyder, Regina Barzilay
APLAS
2009
ACM
14 years 2 months ago
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...
Hakjoo Oh
SP
2008
IEEE
112views Security Privacy» more  SP 2008»
14 years 2 months ago
Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...
Davide Balzarotti, Marco Cova, Viktoria Felmetsger...
NIPS
1996
13 years 9 months ago
Adaptively Growing Hierarchical Mixtures of Experts
We propose a novelapproach to automaticallygrowing and pruning Hierarchical Mixtures of Experts. The constructive algorithm proposed here enables large hierarchies consisting of s...
Jürgen Fritsch, Michael Finke, Alex Waibel
ICIP
2000
IEEE
14 years 9 months ago
A Hierarchical Genetic Disparity Estimation Algorithm for Multiview Image Synthesis
In this paper, a hierarchical genetic algorithm for disparity estimation is presented. The goal, to estimate reliable disparity fields with low computational cost, is reached usin...
L. J. Luo, D. R. Clewer, David R. Bull, Cedric Nis...