1655 search results - page 172 / 331 » Stemming in the language modeling framework |
119
click to vote
EWDW
1990
15 years 4 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
121
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
97
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
109
Voted
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
Pseudo feedback is a commonly used technique to improve information retrieval performance. It assumes a few top-ranked documents to be relevant, and learns from them to improve th...
140
click to vote
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...