Sciweavers

3457 search results - page 67 / 692
» A Symbol Is Not a Symbol
Sort
View
DATE
2002
IEEE
124views Hardware» more  DATE 2002»
14 years 3 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
KI
2008
Springer
13 years 10 months 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
CAD
1998
Springer
13 years 10 months 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
DAC
2003
ACM
14 years 11 months ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
ICIAP
2009
ACM
14 years 11 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...