Sciweavers

974 search results - page 9 / 195
» Parameterized pattern queries
Sort
View
PARMA
2004
129views Database» more  PARMA 2004»
13 years 8 months ago
Towards a Language for Pattern Manipulation and Querying
Patterns are concise, but rich in semantic, representation of data. The approaches proposed in the literature to cope with pattern management problems usually deal with a single ty...
Elisa Bertino, Barbara Catania, Anna Maddalena
CAV
2010
Springer
206views Hardware» more  CAV 2010»
13 years 10 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
CICLING
2005
Springer
14 years 25 days ago
Learning the Query Generation Patterns
Abstract. With the current method of query formation, a Question Answering system retrieves a set of documents that are similar to a question, while what is mostly required is a se...
Marcin Skowron, Kenji Araki
IJWIS
2007
117views more  IJWIS 2007»
13 years 7 months ago
Patterns and transitions of query reformulation during web searching
— Purpose: To investigate and identify the patterns of interaction between searchers and search engine during Web searching. Design: We examined 2,465,145 interactions from 534,5...
Bernard J. Jansen, Mimi Zhang, Amanda Spink
IJPRAI
2002
142views more  IJPRAI 2002»
13 years 7 months ago
Improving Encarta Search Engine Performance by Mining User Logs
We propose a data-mining approach that produces generalized query patterns (with generalized keywords) from the raw user logs of the Microsoft Encarta search engine (http://encart...
Charles X. Ling, Jianfeng Gao, Huajie Zhang, Weini...