1456 search results - page 32 / 292 » Two Techniques to Improve Finite Model Search |
TREC
2008
13 years 9 months ago
2008
: We describe our participation in the TREC 2008 Enterprise track and detail our language modeling-based approaches. For document search, our focus was on query expansion using pro...
MIE
2008
13 years 9 months ago
2008
: Objective: To identify factors influencing variations in clinical work in the care of patients with abdominal aortic aneurism. Method: Ethnographic observations of 26 meetings be...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we examine a novel approach to the difficult problem of querying video databases using visual topics with few examples. Typically with visual topics, the examples a...
SIGMOD
2001
ACM
14 years 8 months ago
2001
ACM
This paper proposes and evaluates Prefetching B+ -Trees pB+ -Trees, which use prefetching to accelerate two important operations on B+ -Tree indices: searches and range scans. To ...