2728 search results - page 260 / 546 » The EGTV Query Language |
171
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
194
click to vote
COLING
2002
15 years 6 months ago
2002
Spoken queries are a natural medium for searching the Web in settings where typing on a keyboard is not practical. This paper describes a speech interface to the Google search eng...
167
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
147
click to vote
ENTCS
2006
15 years 6 months ago
2006
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
200
click to vote
SIGIR
2006
ACM
16 years 16 days ago
2006
ACM
Classical query expansion techniques such as the local context analysis (LCA) make use of term co-occurrence statistics to incorporate additional contextual terms for enhancing pa...