1192 search results - page 42 / 239 » Symbolic Query Exploration |
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We address the problem of building an index for a set D of n strings, where each string location is a subset of some finite integer alphabet of size , so that we can answer effici...
129
Voted
CLEF
2011
Springer
14 years 1 months ago
2011
Springer
This paper describes the participation of UAIC team at the LogCLEF 2011 initiative, language identification task. Our approach is an aggregation of known methods for recognizing la...
98
Voted
ACL
2012
13 years 4 months ago
2012
We present a novel text exploration model, which extends the scope of state-of-the-art technologies by moving from standard concept-based exploration to statement-based exploratio...
121
Voted
VL
2000
IEEE
15 years 6 months ago
2000
IEEE
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...