Sciweavers

690 search results - page 51 / 138
» Web-Based Support Systems with Rough Set Analysis
Sort
View
ICLP
1997
Springer
15 years 4 months ago
Automatic Termination Analysis of Logic Programs
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
Naomi Lindenstrauss, Yehoshua Sagiv
TREC
2004
15 years 1 months ago
Question Answering with QED and Wee at TREC 2004
This report describes the experiments of the University of Edinburgh and the University of Sydney at the TREC-2004 question answering evaluation exercise. Our system combines two ...
Kisuh Ahn, Johan Bos, Stephen Clark, Tiphaine Dalm...
ISCA
2008
IEEE
205views Hardware» more  ISCA 2008»
15 years 6 months ago
VEAL: Virtualized Execution Accelerator for Loops
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...
Nathan Clark, Amir Hormati, Scott A. Mahlke
WCRE
2003
IEEE
15 years 5 months ago
Improving Fact Extraction of Framework-Based Software Systems
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
Jens Knodel, Martin Pinzger
ADS
2004
Springer
15 years 5 months ago
Expressive Animated Agents for Affective Dialogue Systems
We present our current state of development regarding animated agents applicable to affective dialogue systems. A new set of tools are under development to support the creation of...
Jonas Beskow, Loredana Cerrato, Björn Granstr...