Sciweavers

4103 search results - page 563 / 821
» Some results on the Collatz problem
Sort
View
CHARME
1999
Springer
130views Hardware» more  CHARME 1999»
15 years 10 months ago
Program Slicing of Hardware Description Languages
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...
FOCS
1998
IEEE
15 years 10 months ago
Quantum Lower Bounds by Polynomials
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...
CAPTECH
1998
Springer
15 years 10 months ago
Artificial Neural Networks for Motion Emulation in Virtual Environments
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...
COLT
1998
Springer
15 years 10 months ago
Robust Learning Aided by Context
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,...
EWCBR
1998
Springer
15 years 10 months ago
Case-Based Design for Tablet Formulation
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...
Susan Craw, Nirmalie Wiratunga, Ray Rowe