Sciweavers

    1051 search results - page 23 / 211
    » Toward Team-Oriented Programming
    Sort
    View
    LPNMR
    2004
    Springer
    118views Automated Reasoning» more  LPNMR 2004»
    Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative
    15 years 9 months ago
    Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative
    Download  www.cs.uni-potsdam.de
    Paul Borchert, Christian Anger, Torsten Schaub, Mi...
    claim paper
    Read More »
    LPNMR
    2004
    Springer
    105views Automated Reasoning» more  LPNMR 2004»
    Answer Sets: From Constraint Programming Towards Qualitative Optimization
    15 years 9 months ago
    Answer Sets: From Constraint Programming Towards Qualitative Optimization
    Download  www.informatik.uni-leipzig.de
    Gerhard Brewka
    claim paper
    Read More »
    OOPSLA
    2004
    Springer
    109views Security Privacy» more  OOPSLA 2004»
    Towards a framework for the general intensional programming compiler in the GIPSY
    15 years 9 months ago
    Towards a framework for the general intensional programming compiler in the GIPSY
    Download  newton.cs.concordia.ca
    Joey Paquet, Aihua Wu, Peter Grogono
    claim paper
    Read More »
    SAS
    2004
    Springer
    134views Formal Methods» more  SAS 2004»
    Towards Declarative Programming for Web Services
    15 years 9 months ago
    Towards Declarative Programming for Web Services
    Download  bilder.buecher.de
    ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
    Sheila A. McIlraith
    claim paper
    Read More »
    VL
    2003
    IEEE
    118views Visual Languages» more  VL 2003»
    Towards programming for the non-technical
    15 years 9 months ago
    Towards programming for the non-technical
    Download  web.engr.oregonstate.edu
    Su Te Lei
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.