3820 search results - page 679 / 764 » Bounded Model Debugging |
BCSHCI
2009
13 years 7 months ago
2009
Online communities of different types have become an important part of the daily internet life of many people within the last couple of years. Both research and business have show...
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
Statistical modeling of images plays a crucial role in modern image processing tasks like segmentation, object detection and restoration. Although Gaussian distributions are conve...
AI
2011
Springer
13 years 5 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, we derive concentration of measure inequalities for compressive Toeplitz matrices (having fewer rows than columns) with entries drawn from an independent and identic...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
The asymptotic behavior of stochastic gradient algorithms is studied. Relying on some results of differential geometry (Lojasiewicz gradient inequality), the almost sure pointconve...