16430 search results - page 456 / 3286 » On Computable Tree Functions |
248
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
202
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we use a level set based segmentation algorithm to extract the vascular tree from Magnetic Resonance Angiography, "MRA". Classification model finds an opt...
332
click to vote
GIS
2004
ACM
16 years 8 months ago
2004
ACM
This paper presents a fast algorithm for smooth digital elevation model interpolation and approximation from scattered elevation data. The global surface is reconstructed by subdi...
158
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
With the increasing availability of Web-enabled mobile devices, we are facing the problem to effectively adapt Web content for those devices. For adaptation, Web page structures r...
191
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...