Sciweavers

    2043 search results - page 364 / 409
    » Reasoning About Security Models
    Sort
    View
    EACL
    2006
    ACL Anthology
    123views Natural Language Processing» more  EACL 2006»
    A Two-Stage Approach to Retrieving Answers for How-To Questions
    13 years 11 months ago
    A Two-Stage Approach to Retrieving Answers for How-To Questions
    Download  acl.ldc.upenn.edu
    This paper addresses the problem of automatically retrieving answers for how-to questions, focusing on those that inquire about the procedure for achieving a specific goal. For su...
    Ling Yin
    claim paper
    Read More »
    FORTE
    2001
    149views Formal Methods» more  FORTE 2001»
    A Family of Resource-Bound Real-Time Process Algebras
    13 years 11 months ago
    A Family of Resource-Bound Real-Time Process Algebras
    Download  www.cs.ucy.ac.cy
    The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
    Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
    claim paper
    Read More »
    EON
    2003
    98views Internet Technology» more  EON 2003»
    OntoTrack: Fast Browsing and Easy Editing of Large Ontologie
    13 years 11 months ago
    OntoTrack: Fast Browsing and Easy Editing of Large Ontologie
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool. It combines a sophisticated graphical layout with mouse enabled editing features optimi...
    Thorsten Liebig, Olaf Noppens
    claim paper
    Read More »
    OPODIS
    2004
    135views Distributed And Parallel Com...» more  OPODIS 2004»
    A Constraint-Based Formalism for Consistency in Replicated Systems
    13 years 11 months ago
    A Constraint-Based Formalism for Consistency in Replicated Systems
    Download  www-higashi.ist.osaka-u.ac.jp
    Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
    Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
    claim paper
    Read More »
    AAAI
    1997
    173views Intelligent Agents» more  AAAI 1997»
    The "Inverse Hollywood Problem": From Video to Scripts and Storyboards via Causal Analysis
    13 years 11 months ago
    The "Inverse Hollywood Problem": From Video to Scripts and Storyboards via Causal Analysis
    Download  www.cs.kent.edu
    We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...
    Matthew Brand
    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.