Sciweavers

1449 search results - page 25 / 290
» Finiteness results for sigmoidal
Sort
View
PTS
1993
91views Hardware» more  PTS 1993»
15 years 1 months ago
Generating Tests for Control Portion of SDL Specifications
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
Gang Luo, Anindya Das, Gregor von Bochmann
CORR
2010
Springer
77views Education» more  CORR 2010»
14 years 12 months ago
Pattern Classification In Symbolic Streams via Semantic Annihilation of Information
We propose a technique for pattern classification in symbolic streams via selective erasure of observed symbols, in cases where the patterns of interest are represented as Probabil...
Ishanu Chattopadhyay, Yicheng Wen, Asok Ray
SIAMAM
2008
121views more  SIAMAM 2008»
14 years 11 months ago
A Level Set Approach to Anisotropic Surface Evolution with Free Adatoms
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
Christina Stöcker, Axel Voigt
SIAMSC
2008
111views more  SIAMSC 2008»
14 years 11 months ago
An Algebraic Multigrid Approach Based on a Compatible Gauge Reformulation of Maxwell's Equations
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...
Pavel B. Bochev, Jonathan J. Hu, Christopher M. Si...
CSL
2004
Springer
14 years 11 months ago
Arc minimization in finite-state decoding graphs with cross-word acoustic context
Recent approaches to large vocabulary decoding with finite state graphs have focused on the use of state minimization algorithms to produce relatively compact graphs. This paper e...
François Yvon, Geoffrey Zweig, George Saon