Sciweavers

    5510 search results - page 101 / 1102
    » Mathematics
    Sort
    View
    TYPES
    2007
    Springer
    158views Formal Methods» more  TYPES 2007»
    Working with Mathematical Structures in Type Theory
    16 years 8 days ago
    Working with Mathematical Structures in Type Theory
    Download  www.cs.unibo.it
    Claudio Sacerdoti Coen, Enrico Tassi
    claim paper
    Read More »
    ISCAS
    2006
    IEEE
    107views Hardware» more  ISCAS 2006»
    Impulse noise detector using mathematical morphology
    16 years 5 days ago
    Impulse noise detector using mathematical morphology
    Download  www.s-lab.nd.chiba-u.jp
    Y. Ito, T. Sato, Noritaka Yamashita, Jianming Lu, ...
    claim paper
    Read More »
    SYNASC
    2006
    IEEE
    67views Algorithms» more  SYNASC 2006»
    Mathematical Theory Exploration
    16 years 5 days ago
    Mathematical Theory Exploration
    Download  www.easychair.org
    Bruno Buchberger
    claim paper
    Read More »
    BIRTHDAY
    2005
    Springer
    90views Applied Computing» more  BIRTHDAY 2005»
    Mathematical Foundations of Answer Set Programming
    15 years 11 months ago
    Mathematical Foundations of Answer Set Programming
    Download  www.krlab.cs.ttu.edu
    Paolo Ferraris, Vladimir Lifschitz
    claim paper
    Read More »
    EUROCAST
    2005
    Springer
    104views Hardware» more  EUROCAST 2005»
    A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
    15 years 11 months ago
    A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
    Download  carpe.usal.es
    Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
    Roberto Therón, Vidal Moreno, Belén ...
    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.