Sciweavers

1163 search results - page 120 / 233
» Concurrent Subspaces Analysis
Sort
View
SIGMOD
2006
ACM
102views Database» more  SIGMOD 2006»
16 years 6 months ago
DADA: a data cube for dominant relationship analysis
The concept of dominance has recently attracted much interest in the context of skyline computation. Given an Ndimensional data set S, a point p is said to dominate q if p is bett...
Cuiping Li, Beng Chin Ooi, Anthony K. H. Tung, Sha...
CVPR
2008
IEEE
16 years 8 months ago
Tensor reduction error analysis - Applications to video compression and classification
Tensor based dimensionality reduction has recently been extensively studied for computer vision applications. To our knowledge, however, there exist no rigorous error analysis on ...
Chris H. Q. Ding, Heng Huang, Dijun Luo
LICS
2005
IEEE
15 years 12 months ago
Process Algebras for Quantitative Analysis
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
Jane Hillston
WOSP
2005
ACM
15 years 12 months ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 11 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...