Sciweavers

    2722 search results - page 40 / 545
    » Automating Language Evolution
    Sort
    View
    CL
    2002
    Springer
    138views Automated Reasoning» more  CL 2002»
    Behavioural typing for safe ambients
    14 years 11 months ago
    Behavioural typing for safe ambients
    Download  www.pps.jussieu.fr
    We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
    Michele Bugliesi, Giuseppe Castagna
    claim paper
    Read More »
    EELC
    2006
    128views Languages» more  EELC 2006»
    Evolving Distributed Representations for Language with Self-Organizing Maps
    15 years 3 months ago
    Evolving Distributed Representations for Language with Self-Organizing Maps
    Download  www.ling.ed.ac.uk
    We present a neural-competitive learning model of language evolution in which several symbol sequences compete to signify a given propositional meaning. Both symbol sequences and p...
    Simon D. Levy, Simon Kirby
    claim paper
    Read More »
    ICLP
    2009
    Springer
    68views Automated Reasoning» more  ICLP 2009»
    Research Summary
    16 years 13 days ago
    Research Summary
    Download  www.tsrhc.org
    Jianmin Ji
    claim paper
    Read More »
    ICLP
    2009
    Springer
    105views Automated Reasoning» more  ICLP 2009»
    Belief Logic Programming
    16 years 13 days ago
    Belief Logic Programming
    Download  www.aifb.uni-karlsruhe.de
    Hui Wan
    claim paper
    Read More »
    ICLP
    2009
    Springer
    89views Automated Reasoning» more  ICLP 2009»
    From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse
    16 years 13 days ago
    From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse
    Download  logtalk.org
    Paulo Moura
    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.