29908 search results - page 425 / 5982 » On the complexity of communication complexity |
152
click to vote
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...
162
click to vote
ISAAC
2005
Springer
16 years 11 days ago
2005
Springer
We study the complexity and approximation of the problem of reconstructing haplotypes from genotypes on pedigrees under the Mendelian Law of Inheritance and the minimum recombinant...
189
click to vote
AIS
2004
Springer
16 years 8 days ago
2004
Springer
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS formalisms....
174
click to vote
DEXA
2004
Springer
16 years 8 days ago
2004
Springer
Topological predicates between spatial objects have always been a main area of research on spatial data handling, reasoning, and query languages. The focus of research has definit...
159
click to vote
GECCO
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We present upper bounds on the time and space complexity of finding the global optimum of additively separable functions, a class of functions that has been studied exten...