426 search results - page 43 / 86 » Towards Verifying Model Transformations |
GRIDNETS
2008
13 years 11 months ago
2008
Most of the work on grid technology in the video area has been generally restricted to aspects of resource scheduling and replica management. The traffic of such a service has a lo...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we investigate the problem of uneven energy consumptions in a large class of many-to-one sensor networks. In a many-to-one sensor network, all sensor nodes generate ...
MMM
2003
Springer
14 years 3 months ago
2003
Springer
: Modeling the characteristics of specific images and individual users is a critical issue in content-based image retrieval but insufficiently addressed by the current retrieval ap...
DAGSTUHL
2003
13 years 11 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
CVPR
2012
IEEE
12 years 10 days ago
2012
IEEE
Current object class recognition systems typically target 2D bounding box localization, encouraged by benchmark data sets, such as Pascal VOC. While this seems suitable for the de...