Sciweavers

    53327 search results - page 10572 / 10666
    » or 2007
    Sort
    View
    FUIN
    2007
    114views more  FUIN 2007»
    Cellular Devices and Unary Languages
    13 years 8 months ago
    Cellular Devices and Unary Languages
    Download  cage.ugent.be
    Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...
    Andreas Klein, Martin Kutrib
    claim paper
    Read More »
    FUIN
    2007
    130views more  FUIN 2007»
    A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
    13 years 8 months ago
    A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
    Download  people.sabanciuniv.edu
    Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
    Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
    claim paper
    Read More »
    OSN
    2008
    109views more  OSN 2008»
    A non-competing hybrid optical burst switch architecture for QoS differentiation
    13 years 8 months ago
    A non-competing hybrid optical burst switch architecture for QoS differentiation
    Download  www.ceid.upatras.gr
    In this paper, we present a new hybrid optical burst switch architecture (HOBS) that takes advantage of the pre-transmission idle time during lightpath establishment. In dynamic c...
    Kyriakos Vlachos, Kostas Ramantas
    claim paper
    Read More »
    FUIN
    2007
    135views more  FUIN 2007»
    On First-Order Fragments for Mazurkiewicz Traces
    13 years 8 months ago
    On First-Order Fragments for Mazurkiewicz Traces
    Download  www.fmi.uni-stuttgart.de
    Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
    Volker Diekert, Martin Horsch, Manfred Kufleitner
    claim paper
    Read More »
    GEOINFORMATICA
    2007
    223views more  GEOINFORMATICA 2007»
    Algorithms for Nearest Neighbor Search on Moving Object Trajectories
    13 years 8 months ago
    Algorithms for Nearest Neighbor Search on Moving Object Trajectories
    Download  isl.cs.unipi.gr
    Nearest Neighbor (NN) search has been in the core of spatial and spatiotemporal database research during the last decade. The literature on NN query processing algorithms so far d...
    Elias Frentzos, Kostas Gratsias, Nikos Pelekis, Ya...
    claim paper
    Read More »
    « Prev « First page 10572 / 10666 Last » Next »
    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.