Sciweavers

    618 search results - page 118 / 124
    » Meaning and Partiality Revised
    Sort
    View
    DCG
    2006
    163views more  DCG 2006»
    Isometry-Invariant Valuations on Hyperbolic Space
    13 years 7 months ago
    Isometry-Invariant Valuations on Hyperbolic Space
    Download  faculty.uml.edu
    Abstract. Hyperbolic area is characterized as the unique continuous isometry invariant simple valuation on convex polygons in H2 . We then show that continuous isometry invariant s...
    Daniel A. Klain
    claim paper
    Read More »
    ENTCS
    2006
    128views more  ENTCS 2006»
    Web Verification: Perspective and Challenges
    13 years 7 months ago
    Web Verification: Perspective and Challenges
    Download  www.cs.brown.edu
    The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
    Shriram Krishnamurthi
    claim paper
    Read More »
    ENTCS
    2006
    134views more  ENTCS 2006»
    Anonymity in Probabilistic and Nondeterministic Systems
    13 years 7 months ago
    Anonymity in Probabilistic and Nondeterministic Systems
    Download  www.lix.polytechnique.fr
    Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
    Catuscia Palamidessi
    claim paper
    Read More »
    JCB
    2006
    185views more  JCB 2006»
    A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks
    13 years 7 months ago
    A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks
    Download  www.math.tau.ac.il
    Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
    Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...
    claim paper
    Read More »
    FUIN
    2007
    129views more  FUIN 2007»
    Sound Isolation by Harmonic Peak Partition For Music Instrument Recognition
    13 years 7 months ago
    Sound Isolation by Harmonic Peak Partition For Music Instrument Recognition
    Download  www.mir.uncc.edu
    Abstract. Identification of music instruments in polyphonic sounds is difficult and challenging, especially where heterogeneous harmonic partials are overlapping with each other....
    Xin Zhang, Zbigniew W. Ras
    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.