Sciweavers

    JAIR
    1998
    97views more  JAIR 1998»
    The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
    13 years 11 months ago
    The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
    Download  www.jair.org
    It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
    Oleg Ledeniov, Shaul Markovitch
    claim paper
    Read More »
    CONSTRAINTS
    1998
    108views more  CONSTRAINTS 1998»
    Constraints in Graph Drawing Algorithms
    13 years 11 months ago
    Constraints in Graph Drawing Algorithms
    Download  www.cs.brown.edu
    Graphs are widely used for information visualization purposes, since they provide a natural and intuitive tation of complex abstract structures. The automatic generation of drawing...
    Roberto Tamassia
    claim paper
    Read More »
    COLING
    2002
    137views Computational Linguistics» more  COLING 2002»
    Extracting Important Sentences with Support Vector Machines
    13 years 11 months ago
    Extracting Important Sentences with Support Vector Machines
    Download  acl.ldc.upenn.edu
    Extracting sentences that contain important information from a document is a form of text summarization. The technique is the key to the automatic generation of summaries similar ...
    Tsutomu Hirao, Hideki Isozaki, Eisaku Maeda, Yuji ...
    claim paper
    Read More »
    CORR
    2004
    Springer
    136views Education» more  CORR 2004»
    Automatic Generation of CHR Constraint Solvers
    13 years 11 months ago
    Automatic Generation of CHR Constraint Solvers
    Download  cs.guc.edu.eg
    In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
    Slim Abdennadher, Christophe Rigotti
    claim paper
    Read More »
    JOLLI
    2007
    106views more  JOLLI 2007»
    Lexical Choice and Conceptual Perspective in the Generation of Plural Referring Expressions
    13 years 11 months ago
    Lexical Choice and Conceptual Perspective in the Generation of Plural Referring Expressions
    Download  www.csd.abdn.ac.uk
    A fundamental part of the process of referring to an entity is to categorise it (for instance, as the woman). Where multiple categorisations exist, this implicitly involves the ado...
    Albert Gatt, Kees van Deemter
    claim paper
    Read More »
    ENTCS
    2006
    153views more  ENTCS 2006»
    Automatic Complexity Analysis for Programs Extracted from Coq Proof
    13 years 11 months ago
    Automatic Complexity Analysis for Programs Extracted from Coq Proof
    Download  www.lsv.ens-cachan.fr
    We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
    Jean-Pierre Jouannaud, Weiwen Xu
    claim paper
    Read More »
    ENTCS
    2006
    109views more  ENTCS 2006»
    Specifications via Realizability
    13 years 11 months ago
    Specifications via Realizability
    Download  www.cs.hmc.edu
    We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
    Andrej Bauer, Christopher A. Stone
    claim paper
    Read More »
    ESWA
    2008
    231views more  ESWA 2008»
    Automatic generation of concept hierarchies using WordNet
    13 years 11 months ago
    Automatic generation of concept hierarchies using WordNet
    Download  business.kaist.ac.kr
    This paper examines and proposes the automatic generation of concept hierarchies using WordNet. Existing researches have mostly explored the utilization of concept hierarchies, bu...
    Sangno Lee, Soon-Young Huh, Ronald D. McNiel
    claim paper
    Read More »
    DAGSTUHL
    2009
    139views Software Engineering» more  DAGSTUHL 2009»
    Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems
    14 years 16 days ago
    Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems
    Download  www.comp.lancs.ac.uk
    Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
    Nelly Bencomo, Gordon S. Blair
    claim paper
    Read More »
    IADIS
    2003
    139views Internet Technology» more  IADIS 2003»
    Automatic Gui Generation in Web Based Information Systems
    14 years 24 days ago
    Automatic Gui Generation in Web Based Information Systems
    Download  www.iadis.net
    The HCI subsystem is an essential component of an Information System, whose success inside an organization strongly depend on user acceptance. A good UI design considering usabili...
    Nicola Aloia, Cesare Concordia, Maria Teresa Parat...
    claim paper
    Read More »
    123next ›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.