2203 search results - page 257 / 441 » Temporal Abstract Interpretation |
117
click to vote
KELSI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the problem of modelling toxicity of environmental pollutants using molecular descriptors from a systems theoretical viewpoint. It is shown that curr...
122
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
121
Voted
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
129
click to vote
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...
145
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...