1192 search results - page 47 / 239 » Symbolic Query Exploration |
111
click to vote
ACMDIS
2000
ACM
15 years 6 months ago
2000
ACM
The development of navigational tools for a web site devoted to a catalog of musical compositions offers a variety of design challenges. A combination of techniques developed from...
118
Voted
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
Program understanding is central to the development of distributed computations, from the initial coding phase, through testing and debugging, to maintenance and support. Our goal...
129
click to vote
AMT
2010
Springer
15 years 2 months ago
2010
Springer
One of the fundamental challenges in designing an image retrieval system is choosing a method by which the images that match a given query are presented to the searcher. Traditiona...
141
Voted
ECIR
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Children experience several difficulties retrieving information using current Information Retrieval (IR) systems. Particularly, children struggle to find the right keywo...
104
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...