3995 search results - page 129 / 799 » Linearization of hybrid processes |
143
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper describes the design and the implementation of parallel routines in the Heterogeneous ScaLAPACK library that solve a dense system of linear equations. This library is w...
154
click to vote
IS
2006
15 years 4 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
121
click to vote
KES
2005
Springer
15 years 9 months ago
2005
Springer
: In this paper we present research works on non-intuitive and low-efficient negotiations between agents in agent based system. We find recommendation techniques as a suitable meth...
108
click to vote
AIPS
2003
15 years 5 months ago
2003
In this paper we explore a principled, integrated approach to the process of creating complex planning applications and introduce and evaluate a new hybrid task-reduction planner ...
141
click to vote
AAAI
1990
15 years 5 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...