7289 search results - page 1046 / 1458 » A Dependent Set Theory |
226
click to vote
ENTCS
2002
15 years 7 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
233
click to vote
SIAMCOMP
2000
15 years 7 months ago
2000
In this paper we consider the complexity of several problems involving finite algebraic structures. Given finite algebras A and B, these problems ask the following. (1) Do A and B ...
188
click to vote
CORR
1998
Springer
15 years 7 months ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
196
click to vote
ISJ
2002
15 years 7 months ago
2002
The open source software (OSS) model is a fundamentally new and revolutionary way to develop software. The success of the OSS model is also setting the stage for a structural chang...
195
click to vote
COMGEO
1999
ACM
15 years 7 months ago
1999
ACM
This paper discusses algorithms for labeling sets of points in the plane, where labels are not restricted to some finite number of positions. We show that continuously sliding lab...