7865 search results - page 556 / 1573 » Large correlation analysis |
188
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
212
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Face recognition has great demands in human recognition and recently it becomes one of the most important research areas of biometrics. In this paper, we present a novel layered fa...
208
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
In this paper, a Random Field Topic (RFT) model is proposed for semantic region analysis from motions of objects in crowded scenes. Different from existing approaches of learning ...
217
click to vote
TCS
2010
15 years 1 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
335
click to vote
TON
2010
15 years 1 months ago
2010
We consider a class of wireless networks with general interference constraints on the set of links that can be served simultaneously at any given time. We restrict the traffic to b...