4337 search results - page 782 / 868 » Cache-Oblivious Query Processing |
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
SSDBM
1998
IEEE
14 years 1 months ago
1998
IEEE
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
ACCV
1998
Springer
14 years 1 months ago
1998
Springer
Proceedings of the 1998 IEEE Asian Conference on Computer Vision, Hong Kong We present a novel approach to the problem of navigating through a database of color images for the pur...
COMPSAC
1997
IEEE
14 years 1 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
JELIA
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...