1192 search results - page 72 / 239 » Symbolic Query Exploration |
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
123
click to vote
DASFAA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. Query expansion has received extensive attention in information retrieval community. Although semantic based query expansion appears to be promising in improving retrieva...
HT
1998
ACM
15 years 6 months ago
1998
ACM
“Linking by inking” is a new interface for reader-directed link construction that bridges reading and browsing activities. We are developing linking by inking in XLibris, a hy...
293
click to vote
IBPRIA
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Similarity computation is a difficult issue in music information retrieval, because it tries to emulate the special ability that humans show for pattern recognition in ge...
127
click to vote
PET
2010
Springer
15 years 5 months ago
2010
Springer
We explore how Private Information Retrieval (PIR) can help users keep their sensitive information from being leaked in an SQL query. We show how to retrieve data from a relational...