Sciweavers

    31686 search results - page 75 / 6338
    » Resource typing in Guru
    Sort
    View
    ICNP
    1999
    IEEE
    98views Computer Networks» more  ICNP 1999»
    Scheduling in Wireless Networks with Multiple Transmission Channels
    14 years 7 hour ago
    Scheduling in Wireless Networks with Multiple Transmission Channels
    Download  www.ieee-icnp.org
    This paper describes scheduling algorithms for scheduling traffic in wireless data networks with multiple channels per cell. The paper assumes that a reservation-based MAC protoco...
    Satish Damodaran, Krishna M. Sivalingam
    claim paper
    Read More »
    FOIS
    2006
    86views Information Technology» more  FOIS 2006»
    Linking FrameNet to the Suggested Upper Merged Ontology
    13 years 9 months ago
    Linking FrameNet to the Suggested Upper Merged Ontology
    Download  www.adampease.org
    Deductive reasoning with natural language requires combining lexical resources with the world knowledge provided by ontologies. In this paper we describe the connection of FrameNe...
    Jan Scheffczyk, Adam Pease, Michael Ellsworth
    claim paper
    Read More »
    LFCS
    2009
    Springer
    223views Artificial Intelligence» more  LFCS 2009»
    The Logic of Proofs as a Foundation for Certifying Mobile Computation
    14 years 2 months ago
    The Logic of Proofs as a Foundation for Certifying Mobile Computation
    Download  www.lifia.info.unlp.edu.ar
    We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
    Eduardo Bonelli, Federico Feller
    claim paper
    Read More »
    ASAP
    2004
    IEEE
    185views Hardware» more  ASAP 2004»
    Families of FPGA-Based Algorithms for Approximate String Matching
    13 years 11 months ago
    Families of FPGA-Based Algorithms for Approximate String Matching
    Download  www.bu.edu
    Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
    Tom Van Court, Martin C. Herbordt
    claim paper
    Read More »
    ISSS
    1995
    IEEE
    121views Hardware» more  ISSS 1995»
    A comprehensive estimation technique for high-level synthesis
    13 years 11 months ago
    A comprehensive estimation technique for high-level synthesis
    Download  www.cs.york.ac.uk
    We present an integrated approach aimed at predicting layout area needed to implement a behavioral description for a given performance goal. Our approach is novel because: (1) it ...
    Seong Yong Ohm, Fadi J. Kurdahi, Nikil Dutt, Min X...
    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-2024, USA.