Sciweavers

5387 search results - page 451 / 1078
» Generating generic functions
Sort
View
WCE
2007
15 years 8 months ago
Cost Effective Implementation of Asynchronous Two-Level Logic
- We proposed the cost effective (in sense of gate number) asynchronous two-level logic. It is based on AND-OR implementation of minimized logic functions. We formulated and proved...
Igor Lemberski
TFS
2008
77views more  TFS 2008»
15 years 6 months ago
Nonstationary Fuzzy Sets
In this paper, the notion termed a "nonstationary fuzzy set" is introduced, and the concept of a perturbation function that is used for generating nonstationary fuzzy set...
Jonathan M. Garibaldi, Marcin Jaroszewski, Salang ...
PRL
1998
92views more  PRL 1998»
15 years 6 months ago
Characterization of image degradation caused by scanning
A single parameter value that represents the difference between the original and the digitized characters is determined from a binary scan of a test chart. It represents the combi...
Elisa H. Barney Smith
JAR
2010
108views more  JAR 2010»
15 years 5 months ago
Procedural Representation of CIC Proof Terms
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
Ferruccio Guidi
ICRA
2010
IEEE
143views Robotics» more  ICRA 2010»
15 years 4 months ago
Tremor attenuation using FES-based joint stiffness control
In this paper, a strategy to attenuate tremor based on co-contraction of antagonist muscles using Functional Electrical Stimulation (FES) is fully presented. Both methods to track ...
Antônio Padilha Lanari Bo, Philippe Poignet