5550 search results - page 634 / 1110 » Different Approaches to Proof Systems |
203
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper proposes a content-based audio information retrieval and indexing technique based on wavelet transform. The presented approach uses multiresolution decomposition proper...
171
click to vote
ISN
1999
Springer
15 years 11 months ago
1999
Springer
This paper shows how some of the TINA principles used in the development of Service Management techniques for the Broadband ISDN may be applied to the management of Internet Servic...
180
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
194
click to vote
VLDB
1990
ACM
15 years 11 months ago
1990
ACM
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...
182
click to vote
HOTOS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we question whether hypervisors are really acting as a disruptive force in OS research, instead arguing that they have so far changed very little at a technical lev...