1163 search results - page 65 / 233 » Concurrent Subspaces Analysis |
115
Voted
ICB
2007
Springer
15 years 3 months ago
2007
Springer
The symmetrical decomposition is a powerful method to extract features for image recognition. It reveals the significant discriminative information from the mirror image of symmetr...
103
click to vote
IMCSIT
2010
14 years 8 months ago
2010
The authors consider the impact of the structure of the matrix on the convergence behavior for the GMRES projection method for solving large sparse linear equation systems resultin...
SAINT
2005
IEEE
15 years 5 months ago
2005
IEEE
In this work we present a protocol ensuring the eTransaction guarantee (i.e. a recently proposed end-to-end reliability guarantee) in a Web based, three-tier transactional system....
RE
2001
Springer
15 years 4 months ago
2001
Springer
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...
103
click to vote
DAC
1996
ACM
15 years 3 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...