Sciweavers

    896 search results - page 169 / 180
    » On completeness of word reversing
    Sort
    View
    AI
    2008
    Springer
    137views Artificial Intelligence» more  AI 2008»
    What makes propositional abduction tractable
    13 years 8 months ago
    What makes propositional abduction tractable
    Download  www.ida.liu.se
    Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
    Gustav Nordh, Bruno Zanuttini
    claim paper
    Read More »
    APAL
    2007
    78views more  APAL 2007»
    Partial Horn logic and cartesian categories
    13 years 8 months ago
    Partial Horn logic and cartesian categories
    Download  www.cs.bham.ac.uk
    A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
    Erik Palmgren, Steven J. Vickers
    claim paper
    Read More »
    BMCBI
    2008
    91views more  BMCBI 2008»
    Presenting and exploring biological pathways with PathVisio
    13 years 8 months ago
    Presenting and exploring biological pathways with PathVisio
    Download  www.biomedcentral.com
    nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
    Martijn P. van Iersel, Thomas Kelder, Alexander R....
    claim paper
    Read More »
    CONNECTION
    2008
    178views more  CONNECTION 2008»
    Spoken language interaction with model uncertainty: an adaptive human-robot interaction system
    13 years 8 months ago
    Spoken language interaction with model uncertainty: an adaptive human-robot interaction system
    Download  people.csail.mit.edu
    Spoken language is one of the most intuitive forms of interaction between humans and agents. Unfortunately, agents that interact with people using natural language often experienc...
    Finale Doshi, Nicholas Roy
    claim paper
    Read More »
    CVIU
    2008
    124views more  CVIU 2008»
    Measuring novelty and redundancy with multiple modalities in cross-lingual broadcast news
    13 years 8 months ago
    Measuring novelty and redundancy with multiple modalities in cross-lingual broadcast news
    Download  lastlaugh.inf.cs.cmu.edu
    News videos from different channels, languages are broadcast everyday, which provide abundant information for users. To effectively search, retrieve, browse and track news stories...
    Xiao Wu, Alexander G. Hauptmann, Chong-Wah Ngo
    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.