Sciweavers

    1948 search results - page 10 / 390
    » Formalizing Mirror Theory
    Sort
    View
    SIAMDM
    2010
    149views more  SIAMDM 2010»
    Formal Theory of Noisy Sensor Network Localization
    14 years 10 months ago
    Formal Theory of Noisy Sensor Network Localization
    Download  users.cecs.anu.edu.au
    Graph theory has been used to characterize the solvability of the sensor network localization problem. If sensors correspond to vertices and edges correspond to sensor pairs betwee...
    Brian D. O. Anderson, Iman Shames, Guoqiang Mao, B...
    claim paper
    Read More »
    RR
    2009
    Springer
    98views Automated Reasoning» more  RR 2009»
    A Formal Theory for Modular ERDF Ontologies
    15 years 6 months ago
    A Formal Theory for Modular ERDF Ontologies
    Download  www.ics.forth.gr
    Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
    claim paper
    Read More »
    83
    Voted
    DEXAW
    2008
    IEEE
    111views Database» more  DEXAW 2008»
    A Formalization of Logical Imaging for Information Retrieval Using Quantum Theory
    15 years 6 months ago
    A Formalization of Logical Imaging for Information Retrieval Using Quantum Theory
    Download  www.uni-weimar.de
    Guido Zuccon, Leif Azzopardi, C. J. van Rijsbergen
    claim paper
    Read More »
    ACL2
    2006
    ACM
    283views Computational Linguistics» more  ACL2 2006»
    Towards a formal theory of on chip communications in the ACL2 logic
    15 years 5 months ago
    Towards a formal theory of on chip communications in the ACL2 logic
    Download  www.ccs.neu.edu
    Julien Schmaltz, Dominique Borrione
    claim paper
    Read More »
    TPHOL
    1998
    IEEE
    91views Automated Reasoning» more  TPHOL 1998»
    Formalizing Basic First Order Model Theory
    15 years 4 months ago
    Formalizing Basic First Order Model Theory
    Download  www.cl.cam.ac.uk
    John Harrison
    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-2025, USA.