Sciweavers

    1360 search results - page 246 / 272
    » Reasoning on Workflow Executions
    Sort
    View
    GIS
    2004
    ACM
    183views Automated Reasoning» more  GIS 2004»
    A partial join approach for mining co-location patterns
    14 years 8 months ago
    A partial join approach for mining co-location patterns
    Download  www.spatial.cs.umn.edu
    Spatial co-location patterns represent the subsets of events whose instances are frequently located together in geographic space. We identified the computational bottleneck in the...
    Jin Soung Yoo, Shashi Shekhar
    claim paper
    Read More »
    GIS
    2006
    ACM
    164views Automated Reasoning» more  GIS 2006»
    Filtering with raster signatures
    14 years 8 months ago
    Filtering with raster signatures
    Download  dna.fernuni-hagen.de
    Efficient evaluation of spatial queries is an important issue in spatial database. Among spatial operations, spatial join is very useful, intersection being the most common predic...
    Leonardo Guerreiro Azevedo, Ralf Hartmut Güti...
    claim paper
    Read More »
    GIS
    2006
    ACM
    154views Automated Reasoning» more  GIS 2006»
    Efficient GML-native processors for web-based GIS: techniques and tools
    14 years 8 months ago
    Efficient GML-native processors for web-based GIS: techniques and tools
    Download  www.iis.sinica.edu.tw
    Geography Markup Language (GML) is an XML-based language for the markup, storage, and exchange of geospatial data. It provides a rich geospatial vocabulary and allows flexible doc...
    Chia-Hsin Huang, Tyng-Ruey Chuang, Dong-Po Deng, H...
    claim paper
    Read More »
    SIGSOFT
    2009
    ACM
    141views Software Engineering» more  SIGSOFT 2009»
    Asserting and checking determinism for multithreaded programs
    14 years 8 months ago
    Asserting and checking determinism for multithreaded programs
    Download  www.eecs.berkeley.edu
    The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
    Jacob Burnim, Koushik Sen
    claim paper
    Read More »
    SIGSOFT
    2008
    ACM
    175views Software Engineering» more  SIGSOFT 2008»
    Finding programming errors earlier by evaluating runtime monitors ahead-of-time
    14 years 8 months ago
    Finding programming errors earlier by evaluating runtime monitors ahead-of-time
    Download  www.bodden.de
    Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
    Eric Bodden, Patrick Lam, Laurie J. Hendren
    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.