Sciweavers

    3273 search results - page 576 / 655
    » Structured Design of Microelectromechanical Systems
    Sort
    View
    CLIMA
    2004
    127views Intelligent Agents» more  CLIMA 2004»
    Verifying Protocol Conformance for Logic-Based Communicating Agents
    14 years 11 months ago
    Verifying Protocol Conformance for Logic-Based Communicating Agents
    Download  www.di.unito.it
    Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
    Matteo Baldoni, Cristina Baroglio, Alberto Martell...
    claim paper
    Read More »
    IADIS
    2004
    100views Internet Technology» more  IADIS 2004»
    Using SPKI/SDSI for Distributed Maintenance of Attribute Release Policies in Shibboleth
    14 years 11 months ago
    Using SPKI/SDSI for Distributed Maintenance of Attribute Release Policies in Shibboleth
    Download  www.cs.dartmouth.edu
    The Shibboleth middleware from Internet2 provides a way for users at higher-education institutions to access remote electronic content in compliance with the inter-institutional l...
    Sidharth Nazareth, Sean W. Smith
    claim paper
    Read More »
    ICAD
    2004
    135views Emerging Technology» more  ICAD 2004»
    Data Set Selection for a Constrained Simple Sonification
    14 years 11 months ago
    Data Set Selection for a Constrained Simple Sonification
    Download  www.icad.org
    Previous work on the production and test of various sonifications has shown that adding a sonification to an interface can assist the execution of a variety of operator tasks [1,2...
    Shawn C. Garner
    claim paper
    Read More »
    IMSA
    2001
    143views Multimedia» more  IMSA 2001»
    A Collaborative Electronic Laboratory Notebook
    14 years 11 months ago
    A Collaborative Electronic Laboratory Notebook
    Download  collaboratory.emsl.pnl.gov
    We have developed a secure, collaborative, web-based electronic notebook (EN) designed to provide researchers and students with a means to record and share their primary research ...
    James D. Myers, Elena S. Mendoza, B. Hoopes
    claim paper
    Read More »
    IJCAI
    2003
    105views Artificial Intelligence» more  IJCAI 2003»
    Optimal Time-Space Tradeoff in Probabilistic Inference
    14 years 11 months ago
    Optimal Time-Space Tradeoff in Probabilistic Inference
    Download  dli.iiit.ac.in
    Recursive Conditioning, RC, is an any-space algorithm lor exact inference in Bayesian networks, which can trade space for time in increments of the size of a floating point number...
    David Allen, Adnan Darwiche
    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-2025, USA.