9110 search results - page 1527 / 1822 » Formally-Based Design Evaluation |
137
click to vote
COMSIS
2010
15 years 2 months ago
2010
Multi-video summarization is a great theoretical and technical challenge due to the wider diversity of topics in multi-video than singlevideo as well as the multi-modality nature o...
152
click to vote
ESWA
2010
15 years 2 months ago
2010
The Cell Formation Problem is a crucial component of a cell production design in a manufacturing system. This problem consists of a set of product parts to be manufactured in a gr...
132
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
The aim of this work is to design an algorithm which combines between steganography and cryptography that can hide a text in an image in a way that prevents, as much as possible, ...
163
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
In this study, we consider an environment composed of a heterogeneous cluster of multicore-based machines used to analyze satellite images. The workload involves large data sets, a...
176
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Structured Information Retrieval is gaining a lot of interest in recent years, as this kind of information is becoming an invaluable asset for professional communities such as Sof...