2625 search results - page 340 / 525 » Applications 2000 |
165
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
167
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
201
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
148
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...
180
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, an editing algorithm based on the projection of the examples in each dimension is presented. The algorithm, that we have called EOP (Editing by Ordered Projection) h...