18429 search results - page 3600 / 3686 » Typing dynamic typing |
LOGCOM
1998
13 years 9 months ago
1998
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
MR
2002
13 years 9 months ago
2002
Generally, tantalum capacitor failure modes have been discussed both for the standard manganese dioxide cathode and the new conductive polymer (CP) type. For standard tantalum in ...
MP
1998
13 years 9 months ago
1998
Consider a directed graph G = (V;A), and a set of tra c demands to be shipped between pairs of nodes in V. Capacity has to be installed on the edges of this graph (in integer mult...
MVA
2002
13 years 9 months ago
2002
In this paper, we present an approach to incorporating partial geometric information into a local feature-based The distance-supported shape index is proposed for the representatio...
MST
1998
13 years 9 months ago
1998
We have developed a methodology for predicting the performance of parallel algorithms on real parallel machines. The methodology consists of two steps. First, we characterize a mac...