1280 search results - page 87 / 256 » Soft Typing with Conditional Types |
SIAMCOMP
2002
13 years 8 months ago
2002
We consider sums of functions of subtrees of a random binary search tree, and obtain general laws of large numbers and central limit theorems. These sums correspond to random recur...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
- Parallel robots admit generally several solutions to the direct kinematics problem. The aspects are associated with the maximal singularity free domains without any singular conf...
PC
2011
13 years 4 months ago
2011
This paper addresses the problem of minimizing the average running time of the Las Vegas type algorithm, both in serial and parallel setups. The necessary conditions for the exist...
AMC
2011
13 years 23 days ago
2011
For a family of differential equations with infinite delay, we give sufficient conditions for the global asymptotic, and global exponential stability of an equilibrium point. Th...
ICA
2012
Springer
12 years 4 months ago
2012
Springer
We consider the Independent Subspace Analysis problem from the point of view of contrast functions, showing that contrast functions are able to partially solve the ISA problem. Tha...