4814 search results - page 88 / 963 » Combining abstract interpreters |
181
click to vote
CI
2005
15 years 5 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
136
click to vote
TSD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We are introducing several methods for combination of systems based on temporal trajectories feature-level combination. Experiments were done to evaluate combination meth...
120
click to vote
MCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A new theoretical framework for the analysis of linear combiners is presented in this paper. This framework extends the scope of previous analytical models, and provides ...
135
click to vote
JFP
2008
15 years 5 months ago
2008
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...
144
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
In this paper we propose a novel approach to the perceptual interpretation of building facades that combines shape grammars, supervised classification and random walks. Procedural...