2203 search results - page 272 / 441 » Temporal Abstract Interpretation |
138
click to vote
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 ...
123
click to vote
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...
139
click to vote
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...
104
Voted
CORR
2008
Springer
15 years 3 months 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...
119
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...