91 search results - page 16 / 19 » Approximating Dependency Graphs Using Tree Automata Techniqu... |
VIS
2004
IEEE
16 years 24 days ago
2004
IEEE
Reliable and complete blood-vessel segmentation is still a challenging problem. This is especially true in the presence of morphologic changes resulting from atherosclerotic disea...
115
click to vote
RECOMB
2006
Springer
15 years 12 months ago
2006
Springer
This paper proposes a parameterized algorithm for aligning two protein structures, in the case where one protein structure is represented by a contact map graph and the other by a ...
126
click to vote
ICPADS
1994
IEEE
15 years 3 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
182
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
113
click to vote
HYBRID
1998
Springer
15 years 3 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....