Sciweavers

8099 search results - page 422 / 1620
» Higher-Order Task Models
Sort
View
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
16 years 2 days ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...
ICANN
2003
Springer
16 years 21 hour ago
Unsupervised Learning of a Kinematic Arm Model
Abstract. An abstract recurrent neural network trained by an unsupervised method is applied to the kinematic control of a robot arm. The network is a novel extension of the Neural ...
Heiko Hoffmann, Ralf Möller
ISCAS
2002
IEEE
88views Hardware» more  ISCAS 2002»
15 years 11 months ago
Energy dissipation modeling of lossy transmission lines driven by CMOS inverters
- In this paper, new formulations for the energy dissipation of lossy transmission lines driven by CMOS inverters are provided. These formulations are obtained using an approximate...
Payam Heydari
IPPS
1999
IEEE
15 years 11 months ago
The Biological Basis of the Immune System as a Model for Intelligent Agents
This paper describes the human immune system and its functionalities from a computational viewpoint. The objective of this paper is to provide the biological basis for an artificia...
Roger L. King, Aric B. Lambert, Samuel H. Russ, Do...
TABLEAUX
1999
Springer
15 years 11 months ago
Merge Path Improvements for Minimal Model Hyper Tableaux
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
Peter Baumgartner, Joseph Douglas Horton, Bruce Sp...