Sciweavers

    ENTCS
    2002
    73views more  ENTCS 2002»
    A Conference Reviewing System in Mobile Maude
    13 years 11 months ago
    A Conference Reviewing System in Mobile Maude
    Download  maude.sip.ucm.es
    Francisco Durán, Alberto Verdejo
    claim paper
    Read More »
    ENTCS
    2002
    101views more  ENTCS 2002»
    Hypergeometric Functions in Exact Geometric Computation
    13 years 11 months ago
    Hypergeometric Functions in Exact Geometric Computation
    Download  www.cs.nyu.edu
    Most problems in computational geometry are algebraic. A general approach to address nonrobustness in such problems is Exact Geometric Computation (EGC). There are now general lib...
    Zilin Du, Maria Eleftheriou, José E. Moreir...
    claim paper
    Read More »
    ENTCS
    2002
    77views more  ENTCS 2002»
    Trivial Reals
    13 years 11 months ago
    Trivial Reals
    Download  www.math.uchicago.edu
    Solovay showed that there are noncomputable reals such that H( n) H(1n) + O(1), where H is prefix-free Kolmogorov complexity. Such H-trivial reals are interesting due to the conn...
    Rodney G. Downey, Denis R. Hirschfeldt, Andr&eacut...
    claim paper
    Read More »
    ENTCS
    2002
    51views more  ENTCS 2002»
    Using Secondary Structure Information for Protein Folding in CLP(FD)
    13 years 11 months ago
    Using Secondary Structure Information for Protein Folding in CLP(FD)
    Download  users.dimi.uniud.it
    Agostino Dovier, Matteo Burato, Federico Fogolari
    claim paper
    Read More »
    ENTCS
    2002
    54views more  ENTCS 2002»
    An Open Visualization Framework for Metamodel-Based Modeling Languages
    13 years 11 months ago
    An Open Visualization Framework for Metamodel-Based Modeling Languages
    Download  tfs.cs.tu-berlin.de
    Péter Domokos, Dániel Varró
    claim paper
    Read More »
    ENTCS
    2002
    98views more  ENTCS 2002»
    Building Interpreters with Rewriting Strategies
    13 years 11 months ago
    Building Interpreters with Rewriting Strategies
    Download  www.cs.uu.nl
    Eelco Dolstra, Eelco Visser
    claim paper
    Read More »
    ENTCS
    2002
    95views more  ENTCS 2002»
    A Proof Dedicated Meta-Language
    13 years 11 months ago
    A Proof Dedicated Meta-Language
    Download  www.cs.cmu.edu
    We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
    David Delahaye
    claim paper
    Read More »
    ENTCS
    2002
    63views more  ENTCS 2002»
    A Category-Theoretic Approach to Social Network Analysis
    13 years 11 months ago
    A Category-Theoretic Approach to Social Network Analysis
    Download  members.ozemail.com.au
    Anthony H. Dekker
    claim paper
    Read More »
    ENTCS
    2002
    139views more  ENTCS 2002»
    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
    13 years 11 months ago
    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
    Download  www.prismmodelchecker.org
    We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
    Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
    claim paper
    Read More »
    ENTCS
    2002
    93views more  ENTCS 2002»
    Matroids from modules
    13 years 11 months ago
    Matroids from modules
    Download  www.cs.nott.ac.uk
    The aim of this work is to show that (oriented) matroid methods can be applied to many discrete geometries, namely those based on modules over integral (ordered) domains. The tric...
    Nils Anders Danielsson, Michael B. Smyth
    claim paper
    Read More »
    « first‹ previous…789101112131415next ›last »
    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.