2268 search results - page 131 / 454 » The Essence of Form Abstraction |
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
FSKD
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we propose a novel classification algorithm, called geometrical probability covering (GPC) algorithm, to improve classification ability. On the basis of ...
MKM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
PKDD
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...