1689 search results - page 163 / 338 » Refining abstract interpretations |
132
click to vote
HYBRID
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
144
click to vote
ISMIS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
132
Voted
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
133
Voted
ECAI
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
125
click to vote
HYBRID
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...