Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Ra...
We examine the number T of queries that a quantum network requires to compute several Boolean functions on f0;1gN in the black-box model. We show that, in the blackbox model, the ...
Robert Beals, Harry Buhrman, Richard Cleve, Michel...
Simulation of natural human movement has proven to be a challenging problem, difficult to be solved by more or less traditional bioinspired strategies. In opposition to several exi...
Y. Bellan, Mario Costa, Giancarlo Ferrigno, Fabriz...
Empirical studies of multitask learning provide some evidence that the performance of a learning system on its intended targets improves by presenting to the learning system relat...
John Case, Sanjay Jain, Matthias Ott, Arun Sharma,...
Abstract. Case-Based Design CBD applies a knowledge-based process to the knowledge commonly associated with Case-Based Reasoning CBR systems the library of exemplars. This paper in...