Sciweavers

    1008 search results - page 167 / 202
    » Canonicity!
    Sort
    View
    STTT
    2008
    90views more  STTT 2008»
    A uniform framework for weighted decision diagrams and its implementation
    14 years 10 months ago
    A uniform framework for weighted decision diagrams and its implementation
    Download  jossowski.de
    1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
    Jörn Ossowski, Christel Baier
    claim paper
    Read More »
    TCAD
    2008
    116views more  TCAD 2008»
    Scalable Synthesis and Clustering Techniques Using Decision Diagrams
    14 years 10 months ago
    Scalable Synthesis and Clustering Techniques Using Decision Diagrams
    Download  www.eecg.toronto.edu
    BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
    Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown
    claim paper
    Read More »
    TEC
    2008
    93views more  TEC 2008»
    The Self-Organization of Interaction Networks for Nature-Inspired Optimization
    14 years 10 months ago
    The Self-Organization of Interaction Networks for Nature-Inspired Optimization
    Download  cogprints.org
    Over the last decade, significant progress has been made in understanding complex biological systems, however there have been few attempts at incorporating this knowledge into natu...
    James M. Whitacre, Ruhul A. Sarker, Q. Tuan Pham
    claim paper
    Read More »
    80
    Voted
    JAIR
    2007
    113views more  JAIR 2007»
    Chain: A Dynamic Double Auction Framework for Matching Patient Agents
    14 years 10 months ago
    Chain: A Dynamic Double Auction Framework for Matching Patient Agents
    Download  www.eecs.harvard.edu
    In this paper we present and evaluate a general framework for the design of truthful auctions for matching agents in a dynamic, two-sided market. A single commodity, such as a res...
    Jonathan Bredin, David C. Parkes, Quang Duong
    claim paper
    Read More »
    TON
    2008
    134views more  TON 2008»
    Efficient broadcasting using network coding
    14 years 10 months ago
    Efficient broadcasting using network coding
    Download  infoscience.epfl.ch
    Abstract-- We consider the problem of broadcasting in an adhoc wireless network, where all nodes of the network are sources that want to transmit information to all other nodes. Ou...
    Christina Fragouli, Jörg Widmer, Jean-Yves Le...
    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.