Sciweavers

    248 search results - page 15 / 50
    » Sublocales in formal topology
    Sort
    View
    CN
    2007
    91views more  CN 2007»
    On investigating overlay service topologies
    13 years 9 months ago
    On investigating overlay service topologies
    Download  www.cs.ucdavis.edu
    Recently, a moderate amount of work has been reported on the use of overlay networks to support value-added network services, such as multicasting, Quality of Service (QoS), secur...
    Zhi Li, Prasant Mohapatra
    claim paper
    Read More »
    TPHOL
    2005
    IEEE
    114views Automated Reasoning» more  TPHOL 2005»
    A HOL Theory of Euclidean Space
    14 years 3 months ago
    A HOL Theory of Euclidean Space
    Download  www.cl.cam.ac.uk
    We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
    John Harrison
    claim paper
    Read More »
    EACL
    2003
    ACL Anthology
    109views Natural Language Processing» more  EACL 2003»
    Information Structure in Topological Dependency Grammar
    13 years 11 months ago
    Information Structure in Topological Dependency Grammar
    Download  www.univ-orleans.fr
    Topological Dependency Grammar (TDG) is a lexicalized dependency grammar formalism, able to model languages with a relatively free word order. In such languages, word order variat...
    Geert-Jan M. Kruijff, Denys Duchier
    claim paper
    Read More »
    JUCS
    2007
    108views more  JUCS 2007»
    Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
    13 years 9 months ago
    Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
    Download  icwww.epfl.ch
    : In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
    Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
    claim paper
    Read More »
    COLING
    2002
    109views Computational Linguistics» more  COLING 2002»
    Linking Syntactic and Semantic Arguments in a Dependency-based Formalism
    13 years 9 months ago
    Linking Syntactic and Semantic Arguments in a Dependency-based Formalism
    Download  www.coli.uni-saarland.de
    We propose a formal characterization of variation in the syntactic realization of semantic arguments, using hierarchies of syntactic relations and thematic roles, and a mechanism ...
    Christian Korthals, Ralph Debusmann
    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.