Sciweavers

    9145 search results - page 279 / 1829
    » Description Logic Systems
    Sort
    View
    CADE
    2008
    Springer
    115views Logical Reasoning» more  CADE 2008»
    Evaluation of Systems for Higher-order Logic (ESHOL)
    16 years 7 months ago
    Evaluation of Systems for Higher-order Logic (ESHOL)
    Download  sunsite.informatik.rwth-aachen.de
    Christoph Benzmüller, Florian Rabe, Carsten S...
    claim paper
    Read More »
    CADE
    2001
    Springer
    161views Logical Reasoning» more  CADE 2001»
    NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics
    16 years 7 months ago
    NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics
    Download  www.cs.uni-potsdam.de
    Christian Anger, Kathrin Konczak, Thomas Linke
    claim paper
    Read More »
    GLOBECOM
    2008
    IEEE
    194views Communications» more  GLOBECOM 2008»
    Network Resource Allocation for Competing Multiple Description Transmissions
    16 years 1 months ago
    Network Resource Allocation for Competing Multiple Description Transmissions
    Download  licos.epfl.ch
    Providing real-time multimedia services over a best-effort network is challenging due to the stringent delay requirements in the presence of complex network dynamics. Multiple des...
    Ying Li, Chao Tian, Suhas N. Diggavi, Mung Chiang,...
    claim paper
    Read More »
    RWEB
    2007
    Springer
    128views Automated Reasoning» more  RWEB 2007»
    Semantic Descriptions in an Enterprise Search Solution
    16 years 22 days ago
    Semantic Descriptions in an Enterprise Search Solution
    Download  www.intergator.de
    Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...
    Uwe Crenze, Stefan Köhler, Kristian Hermsdorf...
    claim paper
    Read More »
    ATAL
    2009
    Springer
    185views Intelligent Agents» more  ATAL 2009»
    Increasing the expressiveness of virtual agents: autonomous generation of speech and gesture for spatial description tasks
    16 years 1 months ago
    Increasing the expressiveness of virtual agents: autonomous generation of speech and gesture for spatial description tasks
    Download  www.techfak.uni-bielefeld.de
    Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
    Kirsten Bergmann, Stefan Kopp
    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.