Sciweavers

    357 search results - page 57 / 72
    » Verifying properties of process definitions
    Sort
    View
    ECAI
    2006
    Springer
    141views Artificial Intelligence» more  ECAI 2006»
    Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework
    13 years 11 months ago
    Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework
    Download  www.inra.fr
    Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
    Cédric Pralet, Gérard Verfaillie, Th...
    claim paper
    Read More »
    CORIA
    2004
    95views Information Technology» more  CORIA 2004»
    Audiovisual production invariant searching
    13 years 9 months ago
    Audiovisual production invariant searching
    Download  perso.telecom-paristech.fr
    Information searching in non-textual media is a fundamental point of interest, especially in the audiovisual industry where there is still an important need of tools for manipulati...
    Siba Haidar, Philippe Joly, Bilal Chebaro
    claim paper
    Read More »
    GEOINFO
    2003
    127views Information Technology» more  GEOINFO 2003»
    Integrating Telecom Outside Plant Systems through the GML Standard
    13 years 9 months ago
    Integrating Telecom Outside Plant Systems through the GML Standard
    Download  www.geoinfo.info
    This paper introduces the Telecommunication Outside Plant Markup Language (TOPML), an OpenGis GML (Geographic Markup Language) application schema designed to describe telecommunica...
    Gerson Mizuta Weiss
    claim paper
    Read More »
    AIPS
    2000
    100views Artificial Intelligence» more  AIPS 2000»
    Exploiting State Constraints in Heuristic State-Space Planning
    13 years 9 months ago
    Exploiting State Constraints in Heuristic State-Space Planning
    Download  www.aaai.org
    In the last years, some very promising domain independent heuristic state-space planners for STRIPS worlds, like ASP/HSP, HSPr and GRT, have been presented. These planners achieve...
    Ioannis Refanidis, Ioannis P. Vlahavas
    claim paper
    Read More »
    AUTOMATICA
    2008
    167views more  AUTOMATICA 2008»
    Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
    13 years 7 months ago
    Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
    Download  web.mit.edu
    A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
    Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....
    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.