173 search results - page 10 / 35 » Inferring Network Invariants Automatically |
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
Reconstructing networks from time series data is a difficult inverse problem. We apply two methods to this problem using co-temporal functions. Co-temporal functions capture mathe...
ESOP
2004
Springer
14 years 23 days ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
ACSAC
2003
IEEE
14 years 20 days ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an algorithm for automatic locating of anthropometric landmarks on 3D human scans. Our method is based on learning landmark characteristics and the spatial relationship...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Social networks can be used to model social interactions between individuals. In many circumstances, not all interactions between individuals are observed. In such cases...