Sciweavers

2266 search results - page 168 / 454
» How Not to Evaluate a Developmental System
Sort
View
FROCOS
2005
Springer
15 years 3 months ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi
NLPRS
2001
Springer
15 years 2 months ago
Korean Text Generation from Database for Homeshopping Sites
This paper describes a text generation system, XExplainer, which can dynamically produce a description of commodities in Korean from a relational database for homeshopping sites. ...
Ji-Eun Roh, Sin-Jae Kang, Jong-Hyeok Lee
SIGIR
1995
ACM
15 years 1 months ago
Design of a Reusable IR Framework
In this paper, we describe the design of a reusable IR framework, called FIRE, that is being implemented to facilitate the development of IR systems. In addition, FIRE is designed...
Gabriele Sonnenberger, Hans-Peter Frei
ETFA
2008
IEEE
14 years 11 months ago
Functional and structural properties in the Model-Driven Engineering approach
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
Daniela Cancila, Roberto Passerone
LREC
2008
158views Education» more  LREC 2008»
14 years 11 months ago
Linguistic Description and Automatic Extraction of Definitions from German Court Decisions
This paper discusses the use of computational linguistic technology to extract definitions from a large corpus of German court decisions. We present a corpus-based survey of defin...
Stephan Walter