Sciweavers

1678 search results - page 37 / 336
» Modeling Information Retrieval with Probabilistic Argumentat...
Sort
View
RE
2008
Springer
15 years 1 months ago
Clear justification of modeling decisions for goal-oriented requirements engineering
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...
Ivan Jureta, Stéphane Faulkner, Pierre-Yves...
SIGIR
2002
ACM
15 years 1 months ago
Term-specific smoothing for the language modeling approach to information retrieval: the importance of a query term
This paper follows a formal approach to information retrieval based on statistical language models. By introducing some simple reformulations of the basic language modeling approa...
Djoerd Hiemstra
QEST
2010
IEEE
14 years 11 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
LATIN
2010
Springer
15 years 8 months ago
Modelling the LLL Algorithm by Sandpiles
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
Manfred Madritsch, Brigitte Vallée
133
Voted
CLEF
2005
Springer
15 years 7 months ago
Using the X-IOTA System in Mono- and Bilingual Experiments at CLEF 2005
This document describes the CLIPS experiments in the CLEF 2005 campaign. We used a surface-syntactic parser in order to extract new indexing terms. These terms are considered synta...
Loïc Maisonnasse, Gilles Sérasset, Jea...