Sciweavers

    99 search results - page 15 / 20
    » Temporal Integrity Constraints with Indeterminacy
    Sort
    View
    ISBI
    2007
    IEEE
    135views Medical Imaging» more  ISBI 2007»
    Dynamic Texture Based Heart Localization and Segmentation in 4-D Cardiac Images
    14 years 1 months ago
    Dynamic Texture Based Heart Localization and Segmentation in 4-D Cardiac Images
    Download  www.cse.lehigh.edu
    In this paper we present a dynamic texture based motion segmentation approach to address the challenging problem of heart localization and segmentation in 4D Spatio-temporal cardi...
    Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas,...
    claim paper
    Read More »
    ICMLA
    2007
    149views Machine Learning» more  ICMLA 2007»
    Uncertainty optimization for robust dynamic optical flow estimation
    13 years 8 months ago
    Uncertainty optimization for robust dynamic optical flow estimation
    Download  eprints.pascal-network.org
    We develop an optical flow estimation framework that focuses on motion estimation over time formulated in a Dynamic Bayesian Network. It realizes a spatiotemporal integration of ...
    Volker Willert, Marc Toussaint, Julian Eggert, Edg...
    claim paper
    Read More »
    IJCAI
    1997
    98views Artificial Intelligence» more  IJCAI 1997»
    Robust Periodic Planning and Execution for Autonomous Spacecraft
    13 years 8 months ago
    Robust Periodic Planning and Execution for Autonomous Spacecraft
    Download  www.barneypell.com
    The New Millennium Remote Agent (NMRA) will be the rst on-board AI system to control an actual spacecraft. The spacecraft domain raises a number of challenges for planning and exe...
    Barney Pell, Erann Gat, Ron Keesing, Nicola Muscet...
    claim paper
    Read More »
    DAGSTUHL
    2006
    146views Software Engineering» more  DAGSTUHL 2006»
    On Scene Interpretation with Description Logics
    13 years 8 months ago
    On Scene Interpretation with Description Logics
    Download  kogs-www.informatik.uni-hamburg.de
    We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
    Bernd Neumann, Ralf Möller
    claim paper
    Read More »
    SACMAT
    2009
    ACM
    249views Control Systems» more  SACMAT 2009»
    Towards formal security analysis of GTRBAC using timed automata
    14 years 1 months ago
    Towards formal security analysis of GTRBAC using timed automata
    Download  www.facweb.iitkgp.ernet.in
    An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
    Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
    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.