6704 search results - page 572 / 1341 » Testing Scenario-Based Models |
192
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Search engine click logs provide an invaluable source of relevance information but this information is biased because we ignore which documents from the result list the users have...
213
click to vote
SIGPRO
2008
15 years 7 months ago
2008
This paper describes a technique for automatic recognition of off-line printed Arabic text using Hidden Markov Models. In this work different sizes of overlapping and non-overlapp...
206
click to vote
UMUAI
2008
15 years 7 months ago
2008
This paper aims to demonstrate that the principles of adaptation and user modeling, especially social annotation, can be integrated fruitfully with those of the Web 2.0 paradigm a...
237
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: An important challenge for transcript counting methods such as Serial Analysis of Gene Expression (SAGE), "Digital Northern" or Massively Parallel Signature ...
210
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...