4211 search results - page 711 / 843 » Types as Abstract Interpretations |
152
click to vote
CSMR
2002
IEEE
15 years 9 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
128
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...
214
click to vote
MDM
2010
Springer
15 years 9 months ago
2010
Springer
Abstract—Location obfuscation using cloaking regions preserves location anonymity by hiding the true user among a set of other equally likely users. Furthermore, a cloaking regio...
121
click to vote
PAKDD
2010
ACM
15 years 9 months ago
2010
ACM
Abstract. The definition of a community in social networks varies with applications. To generalize different types of communities, the concept of linkpattern based community was pr...
131
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Generalized Nash equilibria (GNE) represent extensions of the Nash solution concept when agents have shared strategy sets. This generalization is particularly relevant ...