373 search results - page 44 / 75 » MARTE-based Design of a Multimedia Application and Formal An... |
MM
2005
ACM
14 years 2 months ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
PARMA
2004
13 years 10 months ago
2004
Abstract. We are designing new data mining techniques on gene expression data, more precisely inductive querying techniques that extract a priori interesting bi-sets, i.e., sets of...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—In many applications the traffic traversing the network has inter-packet dependencies due to application-level encoding schemes. For some applications, e.g., multimedia...
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
DAWAK
2008
Springer
13 years 10 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...