1422 search results - page 186 / 285 » Complementation in Abstract Interpretation |
132
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
138
Voted
HAIS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper introduces an approximate fuzzy representation to FuzzyUCS, a Michigan-style Learning Fuzzy-Classifier System that evolves linguistic fuzzy rules, and studies ...
122
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...
113
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
138
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...