Sciweavers

3457 search results - page 67 / 692
» A Symbol Is Not a Symbol
Sort
View
DATE
2002
IEEE
124views Hardware» more  DATE 2002»
15 years 5 months ago
Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits
In this paper we introduce an approach for parameter controlled symbolic analysis of nonlinear analog circuits. Based on a state-of–the-art algorithm, it enables the removal of ...
Ralf Popp, Joerg Oehmen, Lars Hedrich, Erich Barke
93
Voted
KI
2008
Springer
15 years 17 days ago
Symbolic Classification of General Two-Player Games
Abstract. In this paper we present a new symbolic algorithm for the classification, i. e. the calculation of the rewards for both players in case of optimal play, of two-player gam...
Stefan Edelkamp, Peter Kissmann
106
Voted
CAD
1998
Springer
15 years 9 days ago
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
Xiao-Shan Gao, Shang-Ching Chou
76
Voted
DAC
2003
ACM
16 years 1 months ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
125
Voted
ICIAP
2009
ACM
16 years 1 months ago
Multi-class Binary Symbol Classification with Circular Blurred Shape Models
Multi-class binary symbol classification requires the use of rich descriptors and robust classifiers. Shape representation is a difficult task because of several symbol distortions...
Sergio Escalera, Alicia Fornés, Oriol Pujol...