4597 search results - page 701 / 920 » Structuring Agents for Adaptation |
211
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
172
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
122
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Microchip structures represent an attractive platform for microscale chemical processing of fluidic systems. However, standardized design methods for these devices have not yet b...
168
click to vote
DCC
2010
IEEE
16 years 1 months ago
2010
IEEE
Block-based random image sampling is coupled with a projectiondriven compressed-sensing recovery that encourages sparsity in the domain of directional transforms simultaneously wi...
163
click to vote
BCI
2009
IEEE
16 years 1 months ago
2009
IEEE
—Efficient management of massive data sets is a key aspect in typical grid and e-science applications. To this end, the benefits of employing database technologies in such appl...