Sciweavers

1004 search results - page 154 / 201
» Instance-Based Natural Language Generation
Sort
View
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
14 years 5 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
MODELS
2007
Springer
14 years 5 months ago
Model-Driven Engineering for Software Migration in a Large Industrial Context
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
Franck Fleurey, Erwan Breton, Benoit Baudry, Alain...
NLDB
2007
Springer
14 years 5 months ago
A Lightweight Approach to Semantic Annotation of Research Papers
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, Joh...
IWPC
2006
IEEE
14 years 4 months ago
JIRiSS - an Eclipse plug-in for Source Code Exploration
JIRiSS (Information Retrieval based Software Search for Java) is a software exploration tool that uses an indexing engine based on an information retrieval method. JIRiSS is imple...
Denys Poshyvanyk, Andrian Marcus, Yubo Dong
CSCLP
2005
Springer
14 years 4 months ago
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
Thom W. Frühwirth