4211 search results - page 762 / 843 » Types as Abstract Interpretations |
159
Voted
BIBM
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
158
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
156
Voted
CIARP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Region-based approaches have been proposed to computerassisted colorization problem, typically using shape similarity and topology relations between regions. Given a colo...
164
Voted
CIARP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
125
Voted
EVOW
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In this paper we propose a new benchmark problem for dynamic combinatorial optimisation. Unlike most previous benchmarks, we focus primarily on the underlying dynamics of...