16430 search results - page 235 / 3286 » On Computable Tree Functions |
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...
130
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
Free tree, as a special graph which is connected, undirected and acyclic, is extensively used in domains such as computational biology, pattern recognition, computer networks, XML...
136
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
With the advent of XML we have seen a renewed interest in methods for computing the difference between trees. Methods that include heuristic elements play an important role in pr...
117
click to vote
DIS
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a full scaled application of induction trees for non-classificatory purposes. The grown trees are used for highlighting regional differences in the women's...
166
click to vote
CGF
2010
15 years 4 months ago
2010
We present a novel image-based technique for modeling complex unfoliaged trees. Existing tree modeling tools either require capturing a large number of views for dense 3D reconstr...