Sciweavers

1449 search results - page 51 / 290
» Finiteness results for sigmoidal
Sort
View
DATE
1999
IEEE
80views Hardware» more  DATE 1999»
15 years 10 months ago
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
Youpyo Hong, Peter A. Beerel
DAC
1997
ACM
15 years 10 months ago
Sequence Compaction for Probabilistic Analysis of Finite-State Machines
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
Diana Marculescu, Radu Marculescu, Massoud Pedram
EPEW
2006
Springer
15 years 8 months ago
The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System
This paper discusses five different ways to approximate the loss rate in a fundamental two class priority system, where each class has its own finite capacity buffer, as well as an...
Jeroen Van Velthoven, Benny Van Houdt, Chris Blond...
IC
2004
15 years 7 months ago
Constructing Finite State Automata for High-Performance XML Web Services
This paper describes a validating XML parsing method based on deterministic finite state automata (DFA). XML parsing and validation is performed by a schema-specific XML parser th...
Robert van Engelen
NECO
2000
88views more  NECO 2000»
15 years 6 months ago
Practical Identifiability of Finite Mixtures of Multivariate Bernoulli Distributions
The class of finite mixtures of multivariate Bernoulli distributions is known to be nonidentifiable, i.e., different values of the mixture parameters can correspond to exactly the...
Miguel Á. Carreira-Perpiñán, ...