Sciweavers

    790 search results - page 113 / 158
    » Exploring Statistical Language Models for Recommender System...
    Sort
    View
    93
    Voted
    TVCG
    2011
    198views more  TVCG 2011»
    Forecasting Hotspots - A Predictive Analytics Approach
    14 years 5 months ago
    Forecasting Hotspots - A Predictive Analytics Approach
    Download  pixel.ecn.purdue.edu
    —Current visual analytics systems provide users with the means to explore trends in their data. Linked views and interactive displays provide insight into correlations among peop...
    Ross Maciejewski, Ryan Hafen, Stephen Rudolph, Ste...
    claim paper
    Read More »
    CVPR
    2012
    IEEE
    214views Computer Vision» more  CVPR 2012»
    The use of on-line co-training to reduce the training set size in pattern recognition methods: Application to left ventricle seg
    13 years 1 months ago
    The use of on-line co-training to reduce the training set size in pattern recognition methods: Application to left ventricle seg
    Download  cs.adelaide.edu.au
    The use of statistical pattern recognition models to segment the left ventricle of the heart in ultrasound images has gained substantial attention over the last few years. The mai...
    Gustavo Carneiro, Jacinto C. Nascimento
    claim paper
    Read More »
    INFOCOM
    2009
    IEEE
    121views Communications» more  INFOCOM 2009»
    An Economically-Principled Generative Model of AS Graph Connectivity
    15 years 5 months ago
    An Economically-Principled Generative Model of AS Graph Connectivity
    Download  www.eecs.harvard.edu
    We explore the problem of modeling Internet connectivity at the Autonomous System (AS) level and present an economically-principled dynamic model that reproduces key features of t...
    Jacomo Corbo, Shaili Jain, Michael Mitzenmacher, D...
    claim paper
    Read More »
    110
    Voted
    SIGSOFT
    2007
    ACM
    198views Software Engineering» more  SIGSOFT 2007»
    Quantitative verification: models techniques and tools
    15 years 11 months ago
    Quantitative verification: models techniques and tools
    Download  qav.comlab.ox.ac.uk
    Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
    Marta Z. Kwiatkowska
    claim paper
    Read More »
    FMAM
    2010
    157views Formal Methods» more  FMAM 2010»
    An Experience on Formal Analysis of a High-Level Graphical SOA Design
    14 years 8 months ago
    An Experience on Formal Analysis of a High-Level Graphical SOA Design
    Download  fmt.isti.cnr.it
    : In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
    Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
    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.