1192 search results - page 120 / 239 » Symbolic Query Exploration |
128
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
212
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract-- We introduce join scheduling algorithms that employ a balanced network utilization metric to optimize the use of all network paths in a global-scale database federation....
128
Voted
ENTER
2010
Springer
15 years 10 months ago
2010
Springer
Search engine marketing requires a substantive understanding of the dynamics of the search system in the travel information search context. The goal of this study is to explore th...
111
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
149
click to vote
CIVR
2005
Springer
15 years 8 months ago
2005
Springer
Large video collections present a unique set of challenges to the search system designer. Text transcripts do not always provide an accurate index to the visual content, and the pe...