7773 search results - page 1250 / 1555 » On generalized Frame-Stewart numbers |
262
click to vote
IGIS
1994
15 years 11 months ago
1994
During the last decade various spatial data structures have been designed and compared against each other, all of them re ecting a dynamic situation with ongoing object insertion a...
223
click to vote
JELIA
1994
Springer
15 years 11 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
156
click to vote
ECAI
1992
Springer
15 years 11 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
194
click to vote
MAAMAW
1994
Springer
15 years 11 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
256
click to vote
PODC
1993
ACM
15 years 11 months ago
1993
ACM
A counting protocol (mod m) consists of shared memory bits - referred to as the counter - and of a procedure for incrementing the counter value by 1 (mod m). The procedure may be ...