Sciweavers

9698 search results - page 158 / 1940
» models 2010
Sort
View
LREC
2010
173views Education» more  LREC 2010»
15 years 8 months ago
Czech Information Retrieval with Syntax-based Language Models
In this paper, we deal with information retrieval approach based on language model paradigm, which has been intensively investigated in recent years. We propose, implement, and ev...
Jana Straková, Pavel Pecina
LICS
2010
IEEE
15 years 4 months ago
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
Yuguo He
ENTCS
2010
125views more  ENTCS 2010»
15 years 3 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival
ISSE
2010
15 years 5 months ago
An integrated multi-view model evolution framework
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
Volker Stolz
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 6 months ago
A database approach to information retrieval: The remarkable relationship between language models and region models
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
Djoerd Hiemstra, Vojkan Mihajlovic