2748 search results - page 187 / 550 » Generating Object-Z Specifications from Use Cases |
133
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
An important problem in image labeling concerns learning with images labeled at varying levels of specificity. We propose an approach that can incorporate images with labels drawn...
125
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present an approach that extends the Particle Swarm Optimization (PSO) algorithm to handle multiobjective optimization problems by incorporating the mechanism of...
151
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
134
Voted
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Current multi-display environments (MDEs) can be composed of displays with different characteristics (e.g. resolution, size) located in any position and at different angl...
147
click to vote
ENTCS
2006
15 years 3 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...