Sciweavers

    7554 search results - page 1501 / 1511
    » Process Diagnostics: A Method Based on Process Mining
    Sort
    View
    94
    Voted
    TOPLAS
    2008
    138views more  TOPLAS 2008»
    Decomposing bytecode verification by abstract interpretation
    14 years 9 months ago
    Decomposing bytecode verification by abstract interpretation
    Download  www.iet.unipi.it
    act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
    Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...
    claim paper
    Read More »
    JKM
    2007
    161views more  JKM 2007»
    A strategy-based ontology of knowledge management technologies
    14 years 9 months ago
    A strategy-based ontology of knowledge management technologies
    Download  lpis.csd.auth.gr
    Purpose – The purpose of this paper is to distinguish and describe knowledge management (KM) technologies according to their support for strategy. Design/methodology/approach â€...
    Andre Saito, Katsuhiro Umemoto, Mitsuru Ikeda
    claim paper
    Read More »
    TVCG
    2008
    178views more  TVCG 2008»
    Animation of Orthogonal Texture Patterns for Vector Field Visualization
    14 years 9 months ago
    Animation of Orthogonal Texture Patterns for Vector Field Visualization
    Download  www.vis.uni-stuttgart.de
    Abstract-- This paper introduces orthogonal vector field visualization on 2D manifolds: a representation by lines that are perpendicular to the input vector field. Line patterns ar...
    Sven Bachthaler, Daniel Weiskopf
    claim paper
    Read More »
    TVLSI
    2008
    107views more  TVLSI 2008»
    Novel Probabilistic Combinational Equivalence Checking
    14 years 9 months ago
    Novel Probabilistic Combinational Equivalence Checking
    Download  nthucad.cs.nthu.edu.tw
    Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
    Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen
    claim paper
    Read More »
    BMCBI
    2004
    83views more  BMCBI 2004»
    VKCDB: Voltage-gated potassium channel database
    14 years 9 months ago
    VKCDB: Voltage-gated potassium channel database
    Download  www.biomedcentral.com
    Background: The family of voltage-gated potassium channels comprises a functionally diverse group of membrane proteins. They help maintain and regulate the potassium ion-based com...
    Bin Li, Warren J. Gallin
    claim paper
    Read More »
    « Prev « First page 1501 / 1511 Last » Next »
    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.