1360 search results - page 147 / 272 » Reasoning on Workflow Executions |
127
Voted
CAMP
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, a programmable analog retina is presented and compared with state of the art MPU for embedded imaging applications. The comparison is based on the energy require...
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
126
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
135
click to vote
NIXDORF
1992
15 years 7 months ago
1992
Abstract. We consider three paradigms of computation where the bene ts of a parallel solution are greater than usual. Paradigm 1 works on a time-varying input data set, whose size ...
140
Voted
CIA
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present the MAPa language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition ...