396 search results - page 13 / 80 » Generalizing Parametricity Using Information-flow |
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
EUSFLAT
2007
13 years 10 months ago
2007
Parametric representation of fuzzy numbers (PFN) with derived methods for performing fuzzy arithmetic proves to have better accuracy and similar computational speed to using trian...
TEC
2012
11 years 11 months ago
2012
Recently, the generalization framework in co-evolutionary learning has been theoretically formulated and demonstrated in the context of game-playing. Generalization performance of...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
The novelty of the approach presented in this paper is the unique object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
We describe a novel variational segmentation algorithm designed to split an image in two regions based on their intensity distributions. A functional is proposed to integrate the ...