Sciweavers

    31387 search results - page 419 / 6278
    » Abstracts
    Sort
    View
    AAECC
    2003
    Springer
    104views Algorithms» more  AAECC 2003»
    Interpolation of the Elliptic Curve Diffie-Hellman Mapping
    15 years 11 months ago
    Interpolation of the Elliptic Curve Diffie-Hellman Mapping
    Download  www.ricam.oeaw.ac.at
    Abstract. We prove lower bounds on the degree of polynomials interpolating the Diffie
    Tanja Lange, Arne Winterhof
    claim paper
    Read More »
    186
    Voted
    APLAS
    2001
    ACM
    123views Programming Languages» more  APLAS 2001»
    Verifying the CPS Transformation in Isabelle/HOL
    15 years 11 months ago
    Verifying the CPS Transformation in Isabelle/HOL
    Download  www.score.is.tsukuba.ac.jp
    We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
    Yasuhiko Minamide, Koji Okuma
    claim paper
    Read More »
    ECAI
    2000
    Springer
    90views Artificial Intelligence» more  ECAI 2000»
    Efficient Asymptotic Approximation in Temporal Difference Learning
    15 years 11 months ago
    Efficient Asymptotic Approximation in Temporal Difference Learning
    Download  www.inra.fr
    Abstract. TD(
    Frédérick Garcia, Florent Serre
    claim paper
    Read More »
    174
    Voted
    SBIA
    2000
    Springer
    126views Artificial Intelligence» more  SBIA 2000»
    An Environment for Rule Extraction and Evaluation from Databases
    15 years 11 months ago
    An Environment for Rule Extraction and Evaluation from Databases
    Download  dfm.ffclrp.usp.br
    Abstract Classi
    José Augusto Baranauskas, Maria Carolina Mo...
    claim paper
    Read More »
    147
    Voted
    ISAAC
    1995
    Springer
    106views Algorithms» more  ISAAC 1995»
    A Fast and Space - Economical Algorithm for Length - Limited Coding
    15 years 11 months ago
    A Fast and Space - Economical Algorithm for Length - Limited Coding
    Download  www.diku.dk
    Abstract. The minimum-redundancy prefix codeproblem is to deter
    Jyrki Katajainen, Alistair Moffat, Andrew Turpin
    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.