Sciweavers

    10912 search results - page 2169 / 2183
    » Object-Oriented Programming Languages
    Sort
    View
    FM
    2008
    Springer
    152views Formal Methods» more  FM 2008»
    Constraint Prioritization for Efficient Analysis of Declarative Models
    13 years 9 months ago
    Constraint Prioritization for Efficient Analysis of Declarative Models
    Download  users.ece.utexas.edu
    The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
    Engin Uzuncaova, Sarfraz Khurshid
    claim paper
    Read More »
    AGI
    2008
    136views Artificial Intelligence» more  AGI 2008»
    An Integrative Methodology for Teaching Embodied Non-Linguistic Agents, Applied to Virtual Animals in Second Life
    13 years 9 months ago
    An Integrative Methodology for Teaching Embodied Non-Linguistic Agents, Applied to Virtual Animals in Second Life
    Download  www.novamente.net
    A teaching methodology called Imitative-Reinforcement-Corrective (IRC) learning is described, and proposed as a general approach for teaching embodied non-linguistic AGI systems. I...
    Ben Goertzel, Cassio Pennachin, Nil Geisweiller, M...
    claim paper
    Read More »
    BCSHCI
    2007
    125views Human Computer Interaction» more  BCSHCI 2007»
    Usability of user interfaces: from monomodal to multimodal
    13 years 9 months ago
    Usability of user interfaces: from monomodal to multimodal
    Download  www.bcs.org
    This workshop is aimed at reviewing and comparing existing Usability Evaluation Methods (UEMs) which are applicable to monomodal and multimodal applications, whether they are web-...
    Silvia Abrahão, Jean Vanderdonckt
    claim paper
    Read More »
    DAGSTUHL
    2007
    153views Software Engineering» more  DAGSTUHL 2007»
    Interdisciplinary Design Research for End-User Software Engineering
    13 years 9 months ago
    Interdisciplinary Design Research for End-User Software Engineering
    Download  drops.dagstuhl.de
    rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
    Alan F. Blackwell
    claim paper
    Read More »
    LREC
    2010
    236views Education» more  LREC 2010»
    ProPOSEC: A Prosody and PoS Annotated Spoken English Corpus
    13 years 9 months ago
    ProPOSEC: A Prosody and PoS Annotated Spoken English Corpus
    Download  www.lrec-conf.org
    We have previously reported on ProPOSEL, a purpose-built Prosody and PoS English Lexicon compatible with the Python Natural Language ToolKit. ProPOSEC is a new corpus research res...
    Claire Brierley, Eric Atwell
    claim paper
    Read More »
    « Prev « First page 2169 / 2183 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-2024, USA.