2004 search results - page 183 / 401 » Comparison of Model Checking Tools for Information Systems |
195
click to vote
COMMA
2006
15 years 7 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
134
click to vote
SIGIR
1996
ACM
15 years 10 months ago
1996
ACM
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...
165
click to vote
WSC
1997
15 years 7 months ago
1997
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
180
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
172
Voted
EMNLP
2009
15 years 4 months ago
2009
We present a fully automatic method for content selection evaluation in summarization that does not require the creation of human model summaries. Our work capitalizes on the assu...