1163 search results - page 57 / 233 » Concurrent Subspaces Analysis |
CADE
2008
Springer
15 years 11 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
ECCV
2000
Springer
16 years 1 months ago
2000
Springer
In recent years several techniques have been proposed for modelling the low-dimensional manifolds, or `subspaces', of natural images. Examples include principal component anal...
ATVA
2004
Springer
15 years 4 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
ICPP
1998
IEEE
15 years 3 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
ICANN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper introduces the application of the feature transformation approach proposed by Torkkola [1] to the domain of image processing. Thereto, we extended the approach...