Sciweavers

6258 search results - page 497 / 1252
» Applied Text Generation
Sort
View
CADE
2008
Springer
15 years 9 months ago
Canonical Inference for Implicational Systems
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
Maria Paola Bonacina, Nachum Dershowitz
CSC
2006
15 years 8 months ago
Simulations Of Roll Waves Flows In Environmental Settings
Abstract - In this paper we investigate the generation and structure of roll waves flows down a porous inclined plane and subjected to an applied surface shear stress. The unsteady...
J. P. Pascal
EMNLP
2004
15 years 8 months ago
Multi-Document Biography Summarization
In this paper we describe a biography summarization system using sentence classification and ideas from information retrieval. Although the individual techniques are not new, asse...
Liang Zhou, Miruna Ticrea, Eduard H. Hovy
WSC
2004
15 years 8 months ago
Evaluation of Methods Used to Detect Warm-Up Period in Steady State Simulation
This paper reviews the performance of various methods used to detect the warm up length in steady state discrete event simulation. An evaluation procedure is used to compare the m...
Prasad S. Mahajan, Ricki G. Ingalls
ICONIP
1998
15 years 8 months ago
Inducing Relational Concepts with Neural Networks via the LINUS System
This paper presents a method to induce relational concepts with neural networks using the inductive logic programming system LINUS. Some first-order inductive learning tasks taken...
Rodrigo Basilio, Gerson Zaverucha, Artur S. d'Avil...