Sciweavers

    280 search results - page 17 / 56
    » Some Recent Results in Metric Temporal Logic
    Sort
    View
    AAAI
    2006
    120views Intelligent Agents» more  AAAI 2006»
    Planning with First-Order Temporally Extended Goals using Heuristic Search
    13 years 9 months ago
    Planning with First-Order Temporally Extended Goals using Heuristic Search
    Download  www.cs.toronto.edu
    Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. The problem of planning with TEGs is of renewed interest becau...
    Jorge A. Baier, Sheila A. McIlraith
    claim paper
    Read More »
    BMCBI
    2005
    198views more  BMCBI 2005»
    Clustering protein sequences with a novel metric transformed from sequence similarity scores and sequence alignments with neural
    13 years 7 months ago
    Clustering protein sequences with a novel metric transformed from sequence similarity scores and sequence alignments with neural
    Download  www.biomedcentral.com
    Background: The sequencing of the human genome has enabled us to access a comprehensive list of genes (both experimental and predicted) for further analysis. While a majority of t...
    Qicheng Ma, Gung-Wei Chirn, Richard Cai, Joseph D....
    claim paper
    Read More »
    BMCBI
    2006
    136views more  BMCBI 2006»
    Metric for Measuring the Effectiveness of Clustering of DNA Microarray Expression
    13 years 7 months ago
    Metric for Measuring the Effectiveness of Clustering of DNA Microarray Expression
    Download  www.biomedcentral.com
    Background: The recent advancement of microarray technology with lower noise and better affordability makes it possible to determine expression of several thousand genes simultane...
    Raja Loganantharaj, Satish Cheepala, John Clifford
    claim paper
    Read More »
    SYNTHESE
    2011
    177views more  SYNTHESE 2011»
    Quantum logic as a dynamic logic
    13 years 2 months ago
    Quantum logic as a dynamic logic
    Download  www.vub.ac.be
    We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
    Alexandru Baltag, Sonja Smets
    claim paper
    Read More »
    CHI
    2005
    ACM
    116views Human Computer Interaction» more  CHI 2005»
    A logic block enabling logic configuration by non-experts in sensor networks
    14 years 8 months ago
    A logic block enabling logic configuration by non-experts in sensor networks
    Download  www.cs.ucr.edu
    Recent years have seen the evolution of networks of tiny low power computing blocks, known as sensor networks. In one class of sensor networks, a non-expert user, who has little o...
    Susan Cotterell, Frank Vahid
    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.