1763 search results - page 296 / 353 » A Formalization of Polytime Functions |
105
Voted
ICWS
2003
IEEE
15 years 2 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 ...
120
click to vote
AAAI
2000
15 years 2 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
149
click to vote
WOA
2003
15 years 2 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
128
click to vote
PAKM
2000
15 years 2 months ago
2000
The core of the new product development [NPD] process centers on knowledge creation, utilization and the management of knowledge. This manuscript uses a software firm case to esta...
103
click to vote
AAAI
1993
15 years 2 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...