Sciweavers

    32032 search results - page 6324 / 6407
    » Verified programming in Guru
    Sort
    View
    LMCS
    2007
    132views more  LMCS 2007»
    The Complexity of Model Checking Higher-Order Fixpoint Logic
    14 years 11 months ago
    The Complexity of Model Checking Higher-Order Fixpoint Logic
    Download  www2.tcs.ifi.lmu.de
    Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
    Roland Axelsson, Martin Lange, Rafal Somla
    claim paper
    Read More »
    ANOR
    2004
    170views more  ANOR 2004»
    Graph Coloring for Air Traffic Flow Management
    14 years 11 months ago
    Graph Coloring for Air Traffic Flow Management
    Download  pom.tls.cena.fr
    The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
    Nicolas Barnier, Pascal Brisset
    claim paper
    Read More »
    ANOR
    2002
    99views more  ANOR 2002»
    An Inventory-Location Model: Formulation, Solution Algorithm and Computational Results
    14 years 11 months ago
    An Inventory-Location Model: Formulation, Solution Algorithm and Computational Results
    Download  www.ieor.berkeley.edu
    We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at the distribution centers. In addition, the model inco...
    Mark S. Daskin, Collette R. Coullard, Zuo-Jun Max ...
    claim paper
    Read More »
    ANSOFT
    2002
    126views more  ANSOFT 2002»
    The Real-Time Process Algebra (RTPA)
    14 years 11 months ago
    The Real-Time Process Algebra (RTPA)
    Download  www2.enel.ucalgary.ca
    Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
    Yingxu Wang
    claim paper
    Read More »
    BC
    2004
    98views more  BC 2004»
    Dynamical simulation of speech cooperative articulation by muscle linkages
    14 years 11 months ago
    Dynamical simulation of speech cooperative articulation by muscle linkages
    Download  www.psych.mcgill.ca
    Different kinds of articulators, such as the upper and lower lips, jaw, and tongue, are precisely coordinated in speech production. Based on a perturbation study of the production ...
    Takayuki Ito, Hiroaki Gomi, Masaaki Honda
    claim paper
    Read More »
    « Prev « First page 6324 / 6407 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.