Sciweavers

42507 search results - page 399 / 8502
» On the analysis of
Sort
View
FOGA
2011
14 years 10 months ago
Computational complexity analysis of simple genetic programming on two problems modeling isolated program semantics
Analyzing the computational complexity of evolutionary algorithms (EAs) for binary search spaces has significantly informed our understanding of EAs in general. With this paper, ...
Greg Durrett, Frank Neumann, Una-May O'Reilly
350
Voted
CADE
2011
Springer
14 years 7 months ago
ASASP: Automated Symbolic Analysis of Security Policies
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
Francesco Alberti, Alessandro Armando, Silvio Rani...
183
Voted
STOC
2012
ACM
222views Algorithms» more  STOC 2012»
13 years 9 months ago
An analysis of one-dimensional schelling segregation
We analyze the Schelling model of segregation in which a society of n individuals live in a ring. Each individual is one of two races and is only satisfied with his location so l...
Christina Brandt, Nicole Immorlica, Gautam Kamath,...
CVPR
2012
IEEE
13 years 9 months ago
Linear discriminative image processing operator analysis
In this paper, we propose a method to select a discriminative set of image processing operations for Linear Discriminant Analysis (LDA) as an application of the use of generating ...
Toru Tamaki, Bingzhi Yuan, Kengo Harada, Bisser Ra...
ACL
2012
13 years 9 months ago
Fine Granular Aspect Analysis using Latent Structural Models
In this paper, we present a structural learning model for joint sentiment classification and aspect analysis of text at various levels of granularity. Our model aims to identify ...
Lei Fang, Minlie Huang