Sciweavers

Share
JAIR
1998
97views more  JAIR 1998»
9 years 6 months ago
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
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
CONSTRAINTS
1998
108views more  CONSTRAINTS 1998»
9 years 6 months ago
Constraints in Graph Drawing Algorithms
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
COLING
2002
9 years 6 months ago
Extracting Important Sentences with Support Vector Machines
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 ...
CORR
2004
Springer
136views Education» more  CORR 2004»
9 years 6 months ago
Automatic Generation of CHR Constraint Solvers
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
JOLLI
2007
106views more  JOLLI 2007»
9 years 6 months ago
Lexical Choice and Conceptual Perspective in the Generation of Plural Referring Expressions
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
ENTCS
2006
153views more  ENTCS 2006»
9 years 6 months ago
Automatic Complexity Analysis for Programs Extracted from Coq Proof
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
ENTCS
2006
109views more  ENTCS 2006»
9 years 6 months ago
Specifications via Realizability
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
ESWA
2008
231views more  ESWA 2008»
9 years 6 months ago
Automatic generation of concept hierarchies using WordNet
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
DAGSTUHL
2009
9 years 7 months ago
Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems
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
IADIS
2003
9 years 8 months ago
Automatic Gui Generation in Web Based Information Systems
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...
books