689 search results - page 20 / 138 » Focusing in Linear Meta-logic |
ICWS
2003
IEEE
13 years 9 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 ...
MVA
1990
13 years 9 months ago
1990
This paper presents an image processing method for locating underground linear objects using ground-probing radar data. One of the problems when using groundprobing radars is how ...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
—Despite extensive research focused on enabling QoS for grid users through economic and intelligent resource provisioning, no consensus has emerged on the most promising strategi...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents a novel algorithm for computing the relative motion between images from compressed linear measurements. We propose a geometry based correlation model that desc...
HT
1999
ACM
14 years 6 days ago
1999
ACM
With the growth of the Web as a public information resource, users need workspaces to support the collection, evaluation, organization, and annotation of the materials they retrie...