3909 search results - page 10 / 782 » Extreme Model Checking |
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Tracking individuals in extremely crowded scenes is a challenging task, primarily due to the motion and appearance variability produced by the large number of people within the sc...
63
Voted
NIPS
2003
14 years 11 months ago
2003
Principal components analysis (PCA) is one of the most widely used techniques in machine learning and data mining. Minor components analysis (MCA) is less well known, but can also...
IOR
2008
14 years 9 months ago
2008
We consider the risk of a portfolio comprised of loans, bonds, and financial instruments that are subject to possible default. In particular, we are interested in performance meas...
DAC
1995
ACM
15 years 1 months ago
1995
ACM
Abstract We observe that the switching activity at a circuit node, also called the transition density, can be extremely sensitive to the circuit internal delays. As a result, sligh...
AUTOMATICA
2006
14 years 9 months ago
2006
A commonly employed measure of the signal amplification properties of an input/output system is its induced L2 norm, sometimes also known as H gain. In general, however, it is ext...