Sciweavers

5856 search results - page 917 / 1172
» Developing Query Patterns
Sort
View
123
Voted
LPAR
1999
Springer
15 years 6 months ago
A Partial Evaluation Framework for Curry Programs
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
Elvira Albert, María Alpuente, Michael Hanu...
98
Voted
NGITS
1999
Springer
15 years 6 months ago
Multiplex: A Formal Model for Multidatabases and Its Implementation
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
Amihai Motro
114
Voted
KBSE
1998
IEEE
15 years 6 months ago
An Automated Approach for Supporting Software Reuse via Reverse Engineering
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
122
Voted
SSDBM
1998
IEEE
141views Database» more  SSDBM 1998»
15 years 6 months ago
Scientific Workflow Management by Database Management
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
Anastassia Ailamaki, Yannis E. Ioannidis, Miron Li...
104
Voted
ACCV
1998
Springer
15 years 6 months ago
Montage: An Image Database for the Fashion, Textile, and Clothing Industry in Hong Kong
Abstract. The fashion, textile, and clothing industry is a main constituent in Hong Kong. In this industry, handling a large amount of images is an important task in various phases...
Tak-Kan Lau, Irwin King