Sciweavers

    11022 search results - page 2043 / 2205
    » Programming Systems for Autonomy
    Sort
    View
    IJAOSE
    2007
    82views more  IJAOSE 2007»
    West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
    13 years 9 months ago
    West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
    Download  www.disi.unige.it
    This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
    Giovanni Casella, Viviana Mascardi
    claim paper
    Read More »
    SIAMSC
    2008
    182views more  SIAMSC 2008»
    A Distributed SDP Approach for Large-Scale Noisy Anchor-Free Graph Realization with Applications to Molecular Conformation
    13 years 9 months ago
    A Distributed SDP Approach for Large-Scale Noisy Anchor-Free Graph Realization with Applications to Molecular Conformation
    Download  www.math.nus.edu.sg
    We propose a distributed algorithm for solving Euclidean metric realization problems arising from large 3D graphs, using only noisy distance information, and without any prior kno...
    Pratik Biswas, Kim-Chuan Toh, Yinyu Ye
    claim paper
    Read More »
    SIGARCH
    2008
    144views more  SIGARCH 2008»
    A stream chip-multiprocessor for bioinformatics
    13 years 9 months ago
    A stream chip-multiprocessor for bioinformatics
    Download  passat.crhc.illinois.edu
    - Bioinformatics applications such as gene and protein sequence matching algorithms are characterized by the need to process large amounts of data. While uni-processor performance ...
    Ravi Kiran Karanam, Arun Ravindran, Arindam Mukher...
    claim paper
    Read More »

    Publication
    139views
    Separation of concerns in compiler development using aspect-orientation
    13 years 9 months ago
    Separation of concerns in compiler development using aspect-orientation
    Download  www.cs.ua.edu
    A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
    claim paper
    Read More »
    AAECC
    2005
    Springer
    128views Algorithms» more  AAECC 2005»
    The size-change principle and dependency pairs for termination of term rewriting
    13 years 9 months ago
    The size-change principle and dependency pairs for termination of term rewriting
    Download  cl-informatik.uibk.ac.at
    Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
    René Thiemann, Jürgen Giesl
    claim paper
    Read More »
    « Prev « First page 2043 / 2205 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-2024, USA.