2144 search results - page 192 / 429 » Exact Flow Analysis |
145
click to vote
IBPRIA
2007
Springer
15 years 8 months ago
2007
Springer
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
146
Voted
FAW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Closeness centrality is an important concept in social network analysis. In a graph representing a social network, closeness centrality measures how close a vertex is to ...
159
Voted
FUIN
2007
15 years 4 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
144
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
148
Voted
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
— Privacy threat is one of the critical issues in network coding, where attacks such as traffic analysis can be easily launched by a malicious adversary once enough encoded packe...