Sciweavers

1449 search results - page 160 / 290
» Finiteness results for sigmoidal
Sort
View
ITCC
2003
IEEE
15 years 11 months ago
Fast Prefix Code Processing
As large main memory becomes more and more available at reasonable prices, processing speed of large data sets becomes more important than reducing main memory usage of internal d...
Renato Pajarola
ICRA
2002
IEEE
152views Robotics» more  ICRA 2002»
15 years 11 months ago
Needle Insertion Modelling and Simulation
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
Simon P. DiMaio, S. E. Salcudean
KBSE
1999
IEEE
15 years 10 months ago
Controlled Natural Language Can Replace First-Order Logic
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
Norbert E. Fuchs, Uta Schwertel, Sunna Torge
VTS
1998
IEEE
97views Hardware» more  VTS 1998»
15 years 10 months ago
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits
This paper presents a BIST architecture for Finite State Machines that exploits Cellular Automata (CA) as pattern generators and signature analyzers. The main advantage of the pro...
Fulvio Corno, Nicola Gaudenzi, Paolo Prinetto, Mat...
ISLPED
1998
ACM
94views Hardware» more  ISLPED 1998»
15 years 10 months ago
Theoretical bounds for switching activity analysis in finite-state machines
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
Diana Marculescu, Radu Marculescu, Massoud Pedram