Sciweavers

    3457 search results - page 186 / 692
    » A Symbol Is Not a Symbol
    Sort
    View
    MISQ
    2000
    56views more  MISQ 2000»
    Understanding GDSS in Symbolic Context: Shifting the Focus from Technology to Interaction
    15 years 6 months ago
    Understanding GDSS in Symbolic Context: Shifting the Focus from Technology to Interaction
    Download  wesrac.usc.edu
    Abhijit Gopal, Pushkala Prasad
    claim paper
    Read More »
    AAECC
    1999
    Springer
    82views Algorithms» more  AAECC 1999»
    Reasoning over Networks by Symbolic Methods
    15 years 6 months ago
    Reasoning over Networks by Symbolic Methods
    Download  personales.unican.es
    Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
    Thomas Sturm
    claim paper
    Read More »
    FMSD
    1998
    60views more  FMSD 1998»
    The General Product Machine: a New Model for Symbolic FSM Traversal
    15 years 6 months ago
    The General Product Machine: a New Model for Symbolic FSM Traversal
    Download  www.cad.polito.it
    Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
    Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Pa...
    claim paper
    Read More »
    JSC
    2002
    51views more  JSC 2002»
    Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
    15 years 6 months ago
    Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
    Download  www.ginac.de
    Christian Bauer, Alexander Frink, Richard Kreckel
    claim paper
    Read More »
    JSC
    2002
    58views more  JSC 2002»
    Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices
    15 years 6 months ago
    Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices
    Download  comet.lehman.cuny.edu
    Ioannis Z. Emiris, Victor Y. Pan
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.