Sciweavers

    5851 search results - page 1104 / 1171
    » Coordination as a Direct Process
    Sort
    View
    SIGIR
    2005
    ACM
    144views Information Technology» more  SIGIR 2005»
    An industrial-strength content-based music recommendation system
    14 years 2 months ago
    An industrial-strength content-based music recommendation system
    Download  mtg.upf.edu
    We present a metadata free system for the interaction with massive collections of music, the MusicSurfer. MusicSurfer automatically extracts descriptions related to instrumentatio...
    Pedro Cano, Markus Koppenberger, Nicolas Wack
    claim paper
    Read More »
    SIGIR
    2005
    ACM
    146views Information Technology» more  SIGIR 2005»
    A probabilistic model for retrospective news event detection
    14 years 2 months ago
    A probabilistic model for retrospective news event detection
    Download  www.icst.pku.edu.cn
    Retrospective news event detection (RED) is defined as the discovery of previously unidentified events in historical news corpus. Although both the contents and time information...
    Zhiwei Li, Bin Wang, Mingjing Li, Wei-Ying Ma
    claim paper
    Read More »
    CAV
    2005
    Springer
    173views Hardware» more  CAV 2005»
    Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
    14 years 2 months ago
    Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
    Download  projects.cis.ksu.edu
    Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
    Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
    claim paper
    Read More »
    GECCO
    2005
    Springer
    149views Optimization» more  GECCO 2005»
    There's more to a model than code: understanding and formalizing in silico modeling experience
    14 years 2 months ago
    There's more to a model than code: understanding and formalizing in silico modeling experience
    Download  eprints.ecs.soton.ac.uk
    Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
    Janet Wiles, Nicholas Geard, James Watson, Kai Wil...
    claim paper
    Read More »
    HIP
    2005
    Springer
    172views Cryptology» more  HIP 2005»
    Building Segmentation Based Human-Friendly Human Interaction Proofs (HIPs)
    14 years 2 months ago
    Building Segmentation Based Human-Friendly Human Interaction Proofs (HIPs)
    Download  research.microsoft.com
    Human interaction proofs (HIPs) have become common place on the internet due to their effectiveness in deterring automated abuse of online services intended for humans. However, th...
    Kumar Chellapilla, Kevin Larson, Patrice Y. Simard...
    claim paper
    Read More »
    « Prev « First page 1104 / 1171 Last » Next »
    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.