Sciweavers

    6155 search results - page 43 / 1231
    » A language for multiple models of computation
    Sort
    View
    CVPR
    2004
    IEEE
    146views Computer Vision» more  CVPR 2004»
    Segmenting, Modeling, and Matching Video Clips Containing Multiple Moving Objects
    16 years 6 months ago
    Segmenting, Modeling, and Matching Video Clips Containing Multiple Moving Objects
    Download  www-cvr.ai.uiuc.edu
    Fred Rothganger, Svetlana Lazebnik, Cordelia Schmi...
    claim paper
    Read More »
    BIOINFORMATICS
    2012
    235views Distributed And Parallel Com...» more  BIOINFORMATICS 2012»
    A novel variational Bayes multiple locus Z-statistic for genome-wide association studies with Bayesian model averaging
    13 years 6 months ago
    A novel variational Bayes multiple locus Z-statistic for genome-wide association studies with Bayesian model averaging
    Download  kooperberg.fhcrc.org
    Benjamin A. Logsdon, Cara L. Carty, Alexander P. R...
    claim paper
    Read More »
    CHI
    2005
    ACM
    164views Human Computer Interaction» more  CHI 2005»
    Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based mod
    16 years 4 months ago
    Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based mod
    Download  hci.arc.nasa.gov
    This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
    Irene Tollinger, Richard L. Lewis, Michael McCurdy...
    claim paper
    Read More »
    RE
    2009
    Springer
    177views Software Engineering» more  RE 2009»
    Semantic Criteria for Choosing a Language for Big-Step Models
    15 years 10 months ago
    Semantic Criteria for Choosing a Language for Big-Step Models
    Download  www.cs.uwaterloo.ca
    With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
    Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. At...
    claim paper
    Read More »
    170
    Voted
    ICFP
    2010
    ACM
    129views Programming Languages» more  ICFP 2010»
    VeriML: typed computation of logical terms inside a language with effects
    15 years 5 months ago
    VeriML: typed computation of logical terms inside a language with effects
    Download  zoo.cs.yale.edu
    Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
    Antonis Stampoulis, Zhong Shao
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.