137 search results - page 13 / 28 » A Hybrid Framework for Over-Constrained Generalized |
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
A template tracking approach to the segmentation of small 3D vessel structures is presented. The main contributions are a general formulation of a vessel template function and a m...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
ICCCN
2008
IEEE
14 years 2 months ago
2008
IEEE
—The problem of designing high capacity and high bit rate IP-over-WDM networks, which can provide uninterrupted service in the presence of network equipment failures, continues t...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...
PPOPP
2003
ACM
14 years 24 days ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...