4987 search results - page 560 / 998 » Support Ordered Resolution |
183
click to vote
MICRO
1993
IEEE
15 years 11 months ago
1993
IEEE
Extensive research has been done on extracting parallelism from single instruction stream processors. This paper presents some results of our investigation into ways to modify MIM...
178
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
With recent advances in storage and network technology it is now possible to provide movie on demand (MOD) service, eliminating the inflexibility inherent in todays broadcast cabl...
191
click to vote
DASFAA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. We have defined an XML structural index called the Structure Index Tree (SIT), which eliminates duplicate structures arising from the equivalent subtrees in an XML docume...
169
click to vote
DOLAP
2007
ACM
15 years 11 months ago
2007
ACM
Expressing preferences when querying databases is a natural way to avoid empty results and information flooding, and in general to rank results so that the user may first see the ...
165
click to vote
ITP
2010
15 years 10 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...