4166 search results - page 487 / 834 » Automating the constraining process |
133
click to vote
ICWS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
137
click to vote
SCANGIS
2003
15 years 6 months ago
2003
A multiple representation database contains several geographic datasets defined at different resolutions covering the same area. Objects within the different datasets that repre...
140
click to vote
AAAI
1998
15 years 6 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
145
Voted
PICS
2000
15 years 6 months ago
2000
Eastman Kodak Company is using a scanner-based image quality measurement system to perform production line testing of the image quality of a high-quality thermal media based imagi...
177
click to vote
CASCON
1996
15 years 6 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...