Sciweavers

    666 search results - page 84 / 134
    » Inspector Methods for State Abstraction
    Sort
    View
    DKE
    2007
    115views more  DKE 2007»
    Business process management: Where business processes and web services meet
    14 years 9 months ago
    Business process management: Where business processes and web services meet
    Download  is.tm.tue.nl
    Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
    Wil M. P. van der Aalst, Boualem Benatallah, Fabio...
    claim paper
    Read More »
    TCAD
    2008
    55views more  TCAD 2008»
    Model Order Reduction of Parameterized Interconnect Networks via a Two-Directional Arnoldi Process
    14 years 9 months ago
    Model Order Reduction of Parameterized Interconnect Networks via a Two-Directional Arnoldi Process
    Download  www.cs.ucdavis.edu
    Abstract--This paper presents a multiparameter momentmatching-based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi proc...
    Yung-Ta Li, Zhaojun Bai, Yangfeng Su, Xuan Zeng
    claim paper
    Read More »
    TSP
    2008
    89views more  TSP 2008»
    Coordinated Beamforming for the Multiuser MIMO Broadcast Channel With Limited Feedforward
    14 years 9 months ago
    Coordinated Beamforming for the Multiuser MIMO Broadcast Channel With Limited Feedforward
    Download  users.ece.utexas.edu
    Abstract-- Linear transmit beamforming and receive combining is a low complexity approach for communications in the multiuser multiple-input multiple-output (MIMO) channel. This pa...
    Chan-Byoung Chae, David Mazzarese, Takao Inoue, Ro...
    claim paper
    Read More »
    TCS
    2002
    134views Theoretical Computer Science» more  TCS 2002»
    A formal approach to object-oriented software engineering
    14 years 9 months ago
    A formal approach to object-oriented software engineering
    Download  www.pst.ifi.lmu.de
    We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
    Martin Wirsing, Alexander Knapp
    claim paper
    Read More »
    ICRA
    2010
    IEEE
    163views Robotics» more  ICRA 2010»
    Hierarchical optimization on manifolds for online 2D and 3D mapping
    14 years 8 months ago
    Hierarchical optimization on manifolds for online 2D and 3D mapping
    Download  europa.informatik.uni-freiburg.de
    Abstract— In this paper, we present a new hierarchical optimization solution to the graph-based simultaneous localization and mapping (SLAM) problem. During online mapping, the a...
    Giorgio Grisetti, Rainer Kümmerle, Cyrill Sta...
    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.