Sciweavers

    16430 search results - page 84 / 3286
    » On Computable Tree Functions
    Sort
    View
    RSS
    2007
    152views Robotics» more  RSS 2007»
    A Tree Parameterization for Efficiently Computing Maximum Likelihood Maps using Gradient Descent
    15 years 4 months ago
    A Tree Parameterization for Efficiently Computing Maximum Likelihood Maps using Gradient Descent
    Download  webdiis.unizar.es
    Giorgio Grisetti, Cyrill Stachniss, Slawomir Grzon...
    claim paper
    Read More »
    CSL
    2010
    Springer
    185views Automated Reasoning» more  CSL 2010»
    Graded Computation Tree Logic with Binary Coding
    15 years 4 months ago
    Graded Computation Tree Logic with Binary Coding
    Download  people.na.infn.it
    Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
    Alessandro Bianco, Fabio Mogavero, Aniello Murano
    claim paper
    Read More »
    93
    Voted
    CN
    2008
    93views more  CN 2008»
    A fast algorithm for computing minimum routing cost spanning trees
    15 years 3 months ago
    A fast algorithm for computing minimum routing cost spanning trees
    Download  telecom.inescporto.pt
    Rui Campos, Manuel Ricardo
    claim paper
    Read More »
    109
    Voted
    CORR
    2010
    Springer
    98views Education» more  CORR 2010»
    Extended Computation Tree Logic
    15 years 3 months ago
    Extended Computation Tree Logic
    Download  www.comlab.ox.ac.uk
    We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
    Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
    claim paper
    Read More »
    DCG
    2008
    69views more  DCG 2008»
    Computing the Detour and Spanning Ratio of Paths, Trees, and Cycles in 2D and 3D
    15 years 3 months ago
    Computing the Detour and Spanning Ratio of Paths, Trees, and Cycles in 2D and 3D
    Download  biogeometry.duke.edu
    Pankaj K. Agarwal, Rolf Klein, Christian Knauer, S...
    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.