2702 search results - page 406 / 541 » Practically Applicable Formal Methods |
SC
1995
ACM
14 years 1 months ago
1995
ACM
This paper de nes and describes the properties of a multicast virtual topology, the M-array, and a resource-ecient variation, the REM-array. It is shown how several collective op...
FLAIRS
2008
13 years 12 months ago
2008
Current studies have demonstrated that the representational power of predictive state representations (PSRs) is at least equal to the one of partially observable Markov decision p...
AHS
2006
IEEE
13 years 11 months ago
2006
IEEE
Face recognition is a challenging field of research not only because of the complexity of this subject, but also because of its numerous practical applications. Much progress has ...
SDM
2010
SIAM
13 years 11 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...
NIPS
2008
13 years 11 months ago
2008
Ranking is at the heart of many information retrieval applications. Unlike standard regression or classification in which we predict outputs independently, in ranking we are inter...