Sciweavers

    1537 search results - page 217 / 308
    » On sets not belonging to algebras
    Sort
    View
    AAAI
    1990
    102views Intelligent Agents» more  AAAI 1990»
    Mechanizing Inductive Reasoning
    13 years 10 months ago
    Mechanizing Inductive Reasoning
    Download  www.aaai.org
    Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
    Emmanuel Kounalis, Michaël Rusinowitch
    claim paper
    Read More »
    IJCAI
    1989
    86views Artificial Intelligence» more  IJCAI 1989»
    Managing Efficiently Temporal Relations Through Indexed Spanning Trees
    13 years 10 months ago
    Managing Efficiently Temporal Relations Through Indexed Spanning Trees
    Download  dli.iiit.ac.in
    We are interested here in the design of a very efficient Time-Map Manager, able to deal with a large knowledge-base of several thou­ sand time-tokens in demanding applications su...
    Malik Ghallab, A. Mounir Alaoui
    claim paper
    Read More »
    IJCAI
    1989
    90views Artificial Intelligence» more  IJCAI 1989»
    Plausible Inferencing Using Extended Composition
    13 years 10 months ago
    Plausible Inferencing Using Extended Composition
    Download  www.cse.sc.edu
    This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...
    Michael N. Huhns, Larry M. Stephens
    claim paper
    Read More »
    ADCM
    2010
    59views more  ADCM 2010»
    Sampling inequalities for infinitely smooth functions, with applications to interpolation and machine learning
    13 years 9 months ago
    Sampling inequalities for infinitely smooth functions, with applications to interpolation and machine learning
    Download  num.math.uni-goettingen.de
    Sampling inequalities give a precise formulation of the fact that a differentiable function cannot attain large values, if its derivatives are bounded and if it is small on a suff...
    Christian Rieger, Barbara Zwicknagl
    claim paper
    Read More »
    APAL
    2010
    68views more  APAL 2010»
    Spaces of orders and their Turing degree spectra
    13 years 9 months ago
    Spaces of orders and their Turing degree spectra
    Download  home.gwu.edu
    We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of ...
    Malgorzata A. Dabkowska, Mieczyslaw K. Dabkowski, ...
    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-2024, USA.