54 search results - page 1 / 11 » Discrepancy-Based Additive Bounding Procedures |
INFORMS
2006
13 years 5 months ago
2006
CADE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
ICCAD
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Typical nonlinear model order reduction approaches need to address two issues: reducing the order of the model, and approximating the vector field. In this paper we fo...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Visual recognition and detection are computationally intensive tasks and current research efforts primarily focus on solving them without considering the computational capability ...