Sciweavers

1449 search results - page 90 / 290
» Finiteness results for sigmoidal
Sort
View
IFIPTCS
2000
15 years 10 months ago
Hierarchical State Machines
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
Mihalis Yannakakis
CIE
2008
Springer
15 years 8 months ago
Many Facets of Complexity in Logic
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
Antonina Kolokolova
CORR
2008
Springer
72views Education» more  CORR 2008»
15 years 6 months ago
Design Optimization for an Electro-Thermally Actuated Polymeric Microgripper
Thermal micro-actuators are a promising solution to the need for large-displacement, gentle handling force, low-power MEMS actuators. Potential applications of these devices are mi...
R. Voicu, R. Muller, L. Eftime
ACTAC
2006
101views more  ACTAC 2006»
15 years 6 months ago
Cycle Structure in Automata and the Holonomy Decomposition
The algebraic hierarchical decomposition of finite state automata can be applied wherever a finite system should be `understood' using a hierarchical coordinate system. Here ...
Attila Egri-Nagy, Chrystopher L. Nehaniv
IVC
2006
101views more  IVC 2006»
15 years 6 months ago
Numerical error analysis in Zernike moments computation
An exact analysis of the numerical errors being generated during the computation of the Zernike moments, by using the well-known `q-recursive' method, is attempted in this pa...
George A. Papakostas, Yiannis S. Boutalis, Constan...