907 search results - page 69 / 182 » Efficient Optimization of Iterative Queries |
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
CLOR
2006
14 years 21 days ago
2006
We present a "parts and structure" model for object category recognition that can be learnt efficiently and in a weakly-supervised manner: the model is learnt from examp...
CAV
2000
Springer
14 years 17 days ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
MOBIHOC
2008
ACM
14 years 8 months ago
2008
ACM
Demands on better interacting with physical world require an effective and comprehensive collaboration mechanism among multiple heterogeneous sensor networks. Previous works mainl...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Classifiers are often used to detect miscreant activities. We study how an adversary can efficiently query a classifier to elicit information that allows the adversary to evade de...