7796 search results - page 294 / 1560 » On Generalized Schur Numbers |
162
click to vote
ADG
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
191
click to vote
LCR
1998
Springer
15 years 11 months ago
1998
Springer
Programs accessing disk-resident arrays, called out-of-core programs, perform poorly in general due to an excessive number of I/O calls and insufficient help from compilers. In ord...
172
click to vote
LCTRTS
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
159
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
160
click to vote
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...