5624 search results - page 880 / 1125 » On Conditional Covering Problem |
140
click to vote
ISBI
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper we present a learning based method for vessel segmentation in angiographic videos. Vessel Segmentation is an important task in medical imaging and has been investiga...
232
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
234
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
229
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
127
click to vote
DCC
2009
IEEE
16 years 3 months ago
2009
IEEE
Motivated by the paradigm of event-based monitoring, which can potentially alleviate the inherent bandwidth and energy constraints associated with wireless sensor networks, we con...