1914 search results - page 342 / 383 » Verification by Abstract Interpretation |
123
click to vote
SOFTVIS
2010
ACM
15 years 20 days ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
94
Voted
AUTOMATICA
2007
15 years 18 days ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
106
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
104
Voted
JCT
2006
15 years 13 days ago
2006
Abstract. Previous research extending over a few decades has established that multiplicatively large sets (in any of several interpretations) must have substantial additive structu...
94
Voted
KI
2008
Springer
15 years 13 days ago
2008
Springer
Abstract. Mobile intention recognition is the problem of inferring an agent's intentions from the spatio-temporal behavior she shows. We present a framework for mobile intenti...