14 search results - page 3 / 3 » Debugging temporal specifications with concept analysis |
TCSV
2008
13 years 4 months ago
2008
Abstract--In contrast to the macroblock-based in-loop deblocking filters, the filters of VC-1 perform all horizontal edges (for in-loop filtering) or vertical edges (for overlap sm...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
ADAEUROPE
2008
Springer
13 years 10 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
EDBT
2006
ACM
14 years 4 months ago
2006
ACM
Similarity search in time series data is required in many application fields. The most prominent work has focused on similarity search considering either complete time series or si...