Sciweavers

5624 search results - page 311 / 1125
» On Conditional Covering Problem
Sort
View
INFOCOM
2012
IEEE
13 years 9 months ago
Strategizing surveillance for resource-constrained event monitoring
—Surveillance systems, such as sensor networks and surveillance camera networks, have been widely deployed to monitor events in many different scenarios. One common way to conser...
Xi Fang, Dejun Yang, Guoliang Xue
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
16 years 23 days ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
JMLR
2010
158views more  JMLR 2010»
15 years 1 months ago
Restricted Eigenvalue Properties for Correlated Gaussian Designs
Methods based on 1-relaxation, such as basis pursuit and the Lasso, are very popular for sparse regression in high dimensions. The conditions for success of these methods are now ...
Garvesh Raskutti, Martin J. Wainwright, Bin Yu
CP
2009
Springer
15 years 10 months ago
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
Pascal Van Hentenryck, Carleton Coffrin, Boris Gut...
153
Voted
CVPR
2004
IEEE
16 years 8 months ago
A GMM Parts Based Face Representation for Improved Verification through Relevance Adaptation
Motivated by the success of parts based representations in face detection we have attempted to address some of the problems associated with applying such a philosophy to the task ...
Simon Lucey, Tsuhan Chen