Sciweavers

    698 search results - page 47 / 140
    » Evaluating Key Statements Analysis
    Sort
    View
    ICWN
    2008
    159views Wireless Networks» more  ICWN 2008»
    Progressive Content-Sensitive Data Retrieval in Sensor Networks
    13 years 11 months ago
    Progressive Content-Sensitive Data Retrieval in Sensor Networks
    Download  www.scipub.org
    : Problem statement: For a sensor network comprising autonomous and self-organizing data sources, efficient similarity-based search for semantic-rich resources (such as video data)...
    Bo Yang, Mareboyana Manohar, Shaoying Kou
    claim paper
    Read More »
    TOC
    2008
    94views more  TOC 2008»
    Optimal lower bounds for the Korkine-Zolotareff parameters of a lattice and for Schnorr's algorithm for the shortest vector prob
    13 years 9 months ago
    Optimal lower bounds for the Korkine-Zolotareff parameters of a lattice and for Schnorr's algorithm for the shortest vector prob
    Download  cs.anu.edu.au
    Abstract: Schnorr's algorithm for finding an approximation for the shortest nonzero vector in an n-dimensional lattice depends on a parameter k. He proved that for a fixed k ...
    Miklós Ajtai
    claim paper
    Read More »
    JUCS
    2007
    90views more  JUCS 2007»
    High-level Structured Interactive Programs with Registers and Voices
    13 years 9 months ago
    High-level Structured Interactive Programs with Registers and Voices
    Download  www.jucs.org
    Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
    Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...
    claim paper
    Read More »
    GIS
    2002
    ACM
    153views Automated Reasoning» more  GIS 2002»
    Design of field wrappers for mobile field data collection
    13 years 9 months ago
    Design of field wrappers for mobile field data collection
    Download  laits.gmu.edu
    In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
    Peisheng Zhao, Sarah Nusser, Leslie L. Miller
    claim paper
    Read More »
    SAS
    2010
    Springer
    143views Formal Methods» more  SAS 2010»
    Points-to Analysis as a System of Linear Equations
    13 years 8 months ago
    Points-to Analysis as a System of Linear Equations
    Download  clweb.csa.iisc.ernet.in
    The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
    Rupesh Nasre, Ramaswamy Govindarajan
    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.