9626 search results - page 120 / 1926 » Invariant Based Programming |
166
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
This paper presents a general multi-view feature extraction approach that we call Generalized Multiview Analysis or GMA. GMA has all the desirable properties required for cross-vi...
143
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
110
Voted
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
142
Voted
CCS
2004
ACM
15 years 10 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
166
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Recently, it was proven empirically that facial expressions can be modelled as isometries, that is, geodesic distances on the facial surface were shown to be significantly less se...