Sciweavers

    8141 search results - page 75 / 1629
    » Higher Order Generalization
    Sort
    View
    JSS
    2010
    79views more  JSS 2010»
    Efficient multi-objective higher order mutation testing with genetic programming
    14 years 10 months ago
    Efficient multi-objective higher order mutation testing with genetic programming
    Download  www.cs.ucl.ac.uk
    William B. Langdon, Mark Harman, Yue Jia
    claim paper
    Read More »
    TSP
    2010
    87views Artificial Intelligence» more  TSP 2010»
    Least-squares design of DFT filter-banks based on allpass transformation of higher order
    14 years 9 months ago
    Least-squares design of DFT filter-banks based on allpass transformation of higher order
    Download  www.ind.rwth-aachen.de
    Heinrich W. Löllmann, Peter Vary
    claim paper
    Read More »
    DLOG
    2011
    194views Automated Reasoning» more  DLOG 2011»
    Mapping Data to Higher-Order Description Logic Knowledge Bases
    14 years 6 months ago
    Mapping Data to Higher-Order Description Logic Knowledge Bases
    Download  sunsite.informatik.rwth-aachen.de
    Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...
    claim paper
    Read More »
    LICS
    2012
    IEEE
    276views Automated Reasoning» more  LICS 2012»
    Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
    13 years 5 months ago
    Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
    Download  www4.in.tum.de
    —Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
    Dmitriy Traytel, Andrei Popescu, Jasmin Christian ...
    claim paper
    Read More »
    GEOINFORMATICA
    1998
    96views more  GEOINFORMATICA 1998»
    Experiments with Learning Techniques for Spatial Model Enrichment and Line Generalization
    15 years 2 months ago
    Experiments with Learning Techniques for Spatial Model Enrichment and Line Generalization
    Download  www.colorado.edu
    The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...
    Corinne Plazanet, Nara Martini Bigolin, Anne Ruas
    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.