2333 search results - page 237 / 467 » Recursive Computational Depth |
183
click to vote
SIGITE
2005
ACM
16 years 19 days ago
2005
ACM
Early in its history as an academic discipline, depth in computer programming was a primary distinguishing factor between IT and older computing disciplines, such as computer scie...
188
click to vote
FOCS
2005
IEEE
16 years 21 days ago
2005
IEEE
We prove the first non-trivial (super linear) lower bound in the noisy broadcast model, defined by El Gamal in [6]. In this model there are n + 1 processors P0, P1, . . . , Pn, ...
172
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The understanding of genome rearrangements is an important endeavor in comparative genomics. A major computational problem in this field is finding a shortest sequence of...
194
click to vote
COMPLIFE
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We describe an approach to clustering the yeast protein-protein interaction network in order to identify functional modules, groups of proteins forming multi-protein comp...
229
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...