Sciweavers

1836 search results - page 83 / 368
» Hierarchies for semantic classes
Sort
View
87
Voted
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 4 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
SAC
2009
ACM
15 years 4 months ago
Specifying and checking protocols of multithreaded classes
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
Clément Hurlin
SEFM
2008
IEEE
15 years 4 months ago
Specialized Aspect Languages Preserving Classes of Properties
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
Simplice Djoko Djoko, Rémi Douence, Pascal ...
ICASSP
2011
IEEE
14 years 1 months ago
Superpixel-based object class segmentation using conditional random fields
Object class segmentation (OCS) is a key issue in semantic scene labeling and understanding. Its general principle consists of naming object entities into scenes according to thei...
Xi Li, Hichem Sahbi
CIVR
2004
Springer
141views Image Analysis» more  CIVR 2004»
15 years 3 months ago
Natural Scene Retrieval Based on a Semantic Modeling Step
In this paper, we present an approach for the retrieval of natural scenes based on a semantic modeling step. Semantic modeling stands for the classification of local image regions...
Julia Vogel, Bernt Schiele