5451 search results - page 642 / 1091 » Typed Operational Semantics |
186
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
180
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
189
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
151
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
View mechanisms, widely used in the relational databases, pose new questions in the object model which captures much more semantics. In this paper, we will focus on inheritance and...
174
click to vote
PKDD
1999
Springer
15 years 11 months ago
1999
Springer
We describe the problem of mining possibilistic set-valued rules in large relational tables containing categorical attributes taking a finite number of values. An example of such a...