Sciweavers

522 search results - page 72 / 105
» The 3-Steiner Root Problem
Sort
View
ASWC
2009
Springer
13 years 6 months ago
SHARE: A Semantic Web Query Engine for Bioinformatics
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
Benjamin P. Vandervalk, E. Luke McCarthy, Mark D. ...
SIGMOD
2011
ACM
249views Database» more  SIGMOD 2011»
12 years 11 months ago
FlexMin: a flexible tool for automatic bug isolation in DBMS software
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
Kristi Morton, Nicolas Bruno
FSTTCS
2009
Springer
14 years 3 months ago
Fractional Pebbling and Thrifty Branching Programs
We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a roote...
Mark Braverman, Stephen A. Cook, Pierre McKenzie, ...
MICCAI
2004
Springer
14 years 9 months ago
Vessel Segmentation Using a Shape Driven Flow
Abstract. We present a segmentation method for vessels using an implicit deformable model with a soft shape prior. Blood vessels are challenging structures to segment due to their ...
Delphine Nain, Anthony J. Yezzi, Greg Turk
ASWEC
2007
IEEE
14 years 3 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway