4814 search results - page 183 / 963 » Combining abstract interpreters |
130
click to vote
JFP
2008
15 years 6 months ago
2008
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...
190
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
150
click to vote
IJCNN
2006
IEEE
16 years 15 days ago
2006
IEEE
— The tristability that a class of two-dimensional neuron models may exhibit is investigated in this paper. One proposition and three corollaries on saddles, which play an import...
187
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
The design and development of open multi-agent systems (MAS) is a key aspect in agent research. We advocate that they can be realised as electronic institutions. In this paper we ...
136
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper discusses an optimal control approach for the registration of image time-series (growth modeling). It combines and augments work on an optimal control formulation to...