14403 search results - page 101 / 2881 » Dynamical Systems Trees |
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we present a tree-partition algorithm for parallel mining of frequent patterns. Our work is based on FP-Growth algorithm, which is constituted of tree-building stag...
SAC
2004
ACM
15 years 3 months ago
2004
ACM
ITC
2002
IEEE
15 years 2 months ago
2002
IEEE