Sciweavers

4084 search results - page 493 / 817
» Constraints in spatial structures
Sort
View
ISBI
2006
IEEE
16 years 22 days ago
TOADS: topology-preserving, anatomy-driven segmentation
This paper presents a new framework for multiple object segmentation in medical images that respects the topological properties and anatomical relationships of structures as given...
Pierre-Louis Bazin, Dzung L. Pham
ISSTA
2006
ACM
16 years 20 days ago
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
Rahul Agarwal, Scott D. Stoller
174
Voted
CC
2005
Springer
106views System Software» more  CC 2005»
16 years 7 days ago
Source-Level Debugging for Multiple Languages with Modest Programming Effort
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
Sukyoung Ryu, Norman Ramsey
SPIRE
2005
Springer
16 years 5 days ago
XML Retrieval with a Natural Language Interface
Effective information retrieval in XML documents requires the user to have good knowledge of document structure and of some formal query language. XML query languages like XPath a...
Xavier Tannier, Shlomo Geva
AGTIVE
2003
Springer
15 years 12 months ago
On Graphs in Conceptual Engineering Design
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
Janusz Szuba, Agnieszka Ozimek, Andy Schürr