1403 search results - page 130 / 281 » Quantitative Interprocedural Analysis |
MMM
2010
Springer
14 years 7 months ago
2010
Springer
We propose a novel clustering scheme for spatio-temporal segmentation of sparse motion fields obtained from feature tracking. The approach allows for the segmentation of meaningfu...
ICPR
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper overviews a set of Performance Evaluation
ToolS (PETS) for zone segmentation and classification. The
tools allow researchers and developers to evaluate, optimize
and ...
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This work provides a framework for the observability analysis of linear networked dynamic systems (NDS). A distinction is made between NDS that have homogeneous agent d...
ESCIENCE
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents quantitative comparison of the performance of different methods for selecting the guide particle for multi-objective particle swarm optimization (MOPSO). Two p...