1687 search results - page 91 / 338 » Which pointer analysis should I use |
249
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
154
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
Increasingly, methods to identify community structure in networks have been proposed which allow groups to overlap. These methods have taken a variety of forms, resulting in a lack...
128
Voted
UAI
1998
15 years 5 months ago
1998
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...
159
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
148
Voted
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...