16430 search results - page 446 / 3286 » On Computable Tree Functions |
201
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present an algorithm to lay out a particular class of graphs coming from real case studies: the quasi-tree graph class. Protein and internet mappings projects ha...
147
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
152
click to vote
LICS
2007
IEEE
16 years 1 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...
168
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
We present a new, simple algorithmic idea for exploiting the potential for bidirectional communication present in many modern interconnects for the collective MPI operations broadc...
164
click to vote
HPCC
2005
Springer
16 years 12 days ago
2005
Springer
Hierarchical clustering methods are important in many data mining and pattern recognition tasks. In this paper we present an efficient coarse grained parallel algorithm for Single...