1950 search results - page 10 / 390 » Varieties of Increasing Trees |
TACAS
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
ML
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. Recently, there has been an increasing interest in directed probabilistic logical models and a variety of languages for describing such models has been proposed. Although...
Publication
A new Blink Tree latching method and protocol simplifies implementation of Lehman and Yao's high
concurrency Blink Tree with Jaluta's balanced Blink Tree methods with in...
AUIC
2006
IEEE
14 years 1 months ago
2006
IEEE
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...
MCS
2011
Springer
13 years 2 months ago
2011
Springer
: The modeling of a fully populated 3D tree able to regulate dynamically remains a relatively unexplored field. A non-dimensional representation of “autoregulation” coupled wit...