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 9 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 »
    102
    Voted
    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 »
    141
    Voted
    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
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.