4095 search results - page 331 / 819 » How to test a tree |
153
click to vote
MICCAI
2003
Springer
16 years 6 months ago
2003
Springer
Blood vessels and other anatomic objects in the human body can be described as trees of branching tubes. The focus of this paper is the extraction of the branching geometry in 3D, ...
160
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
We present our development of an XML compression and querying tool, which is called XML Compression and Querying System (XCQ). This system is developed based on a novel technique ...
280
Voted
POPL
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
167
click to vote
ASUNAM
2009
IEEE
16 years 9 days ago
2009
IEEE
A user profile on an online social network is characterized by its profile entries (keywords). In this paper, we study the relationship between semantic similarity of user keywo...
149
click to vote
GECCO
2009
Springer
16 years 1 days ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...