Sciweavers

3863 search results - page 384 / 773
» Function in Device Representation
Sort
View
173
Voted
IFL
2004
Springer
16 years 5 days ago
Shrinking Reductions in SML.NET
One performance-critical phase in the SML.NET compiler involves rewriting intermediate terms to monadic normal form and performing non-duplicating β-reductions. We present an impe...
Nick Benton, Andrew Kennedy, Sam Lindley, Claudio ...
RSCTC
2004
Springer
157views Fuzzy Logic» more  RSCTC 2004»
16 years 4 days ago
Rough Approximations under Level Fuzzy Sets
The combination of fuzzy set and rough set theories lead to various models. Functional and set approaches are two categories based on different fuzzy representations. In this pape...
W.-N. Liu, Jingtao Yao, Yiyu Yao
DATE
2003
IEEE
104views Hardware» more  DATE 2003»
16 years 3 days ago
Symbolic Analysis of Nonlinear Analog Circuits
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...
Alicia Manthe, Zhao Li, C.-J. Richard Shi, Kartike...
IFL
2001
Springer
15 years 11 months ago
A Polynomial-Cost Non-determinism Analysis
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...
Ricardo Pena, Clara Segura
IWANN
2001
Springer
15 years 11 months ago
Image Quality Enhancement for Liquid Bridge Parameter Estimation with DTCNN
This work present the use of a neural structure to augment the quality of noisy images of liquid bridges to obtain a clear representation of its border in order to determine the ac...
Miguel A. Jaramillo Morán, J. Álvaro...