1259 search results - page 73 / 252 » In search of the memoryless property |
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
Many current effectiveness measures incorporate simplifying assumptions about user behavior. These assumptions prevent the measures from reflecting aspects of the search process...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
SAINT
2006
IEEE
14 years 1 months ago
2006
IEEE
Among various metadata design difficulties, 1) designing subsumption relation of two classes, 2) designing diverse properties of a given class, and 3) determining whether an item...
FORTE
1994
13 years 9 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...