Sciweavers

4722 search results - page 2 / 945
» Representation-independent program analysis
Sort
View
106
Voted
TOIT
2012
13 years 5 months ago
Firewall policy change-impact analysis
Alex X. Liu
172
Voted
FOGA
2011
14 years 6 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
115
Voted
CVPR
2010
IEEE
15 years 11 months ago
Temporal Causality for the Analysis of Visual Events
We present a novel approach to the causal temporal analysis of event data from video content. Our key observation is that the sequence of visual words produced by a space-time dic...
Karthir Prabhakar, James Rehg, Ping Wang, Sangmin ...
132
Voted
ESOP
2011
Springer
14 years 6 months ago
Linear Absolute Value Relation Analysis
Liqian Chen, Antoine Miné, Ji Wang, Patrick...
LICS
1996
IEEE
15 years 7 months ago
The Essence of Parallel Algol
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
Stephen D. Brookes