Sciweavers

3457 search results - page 165 / 692
» A Symbol Is Not a Symbol
Sort
View
ATVA
2006
Springer
155views Hardware» more  ATVA 2006»
15 years 10 months ago
Sigref- A Symbolic Bisimulation Tool Box
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kel...
CASC
2006
Springer
410views Mathematics» more  CASC 2006»
15 years 10 months ago
A Symbolic-Numeric Approach to Tube Modeling in CAD Systems
In this note we present a symbolic-numeric method to the problem of tube modeling in CAD systems. Our approach is based on the Kirchhoff kinetic analogy which allows us to find ana...
Gerrit Sobottka, Andreas Weber 0004
FDL
2004
IEEE
15 years 10 months ago
Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt
ESA
2006
Springer
158views Algorithms» more  ESA 2006»
15 years 10 months ago
Algorithmic Aspects of Proportional Symbol Maps
Sergio Cabello, Herman J. Haverkort, Marc J. van K...
GCB
2000
Springer
75views Biometrics» more  GCB 2000»
15 years 10 months ago
Regexpcount, a Symbolic Package for Counting Problems on Regular Expressions and Words
In previous work [10], we considered algorithms related to the statistics of matches with words and regular expressions in texts generated by Bernoulli or Markov sources. In this w...
Pierre Nicodème