1914 search results - page 270 / 383 » Verification by Abstract Interpretation |
107
Voted
HAIS
2008
Springer
15 years 1 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 ...
89
Voted
CORR
2010
Springer
15 years 24 days 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...
114
Voted
CORR
2010
Springer
15 years 24 days 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...
71
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
Abstract-- The interface for the next generation of Unmanned Vehicle Systems should be an interface with multi-modal displays and input controls. Then, the role of the interface wi...
AML
2006
15 years 23 days ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...