Sciweavers

1057 search results - page 78 / 212
» its 1998
Sort
View
EPS
1998
Springer
14 years 2 months ago
Evolving Heuristics for Planning
Abstract. In this paper we describe EvoCK, a new approach to the application of genetic programming (GP) to planning. This approach starts with a traditional AI planner (PRODIGY)an...
Ricardo Aler, Daniel Borrajo, Pedro Isasi
EWCBR
1998
Springer
14 years 2 months ago
Virtual Reality as an Environment for CBR
This paper presents the results of an investigation into the suitability of a Virtual Reality (VR) environment for case-based reasoning (CBR). The paper will show that for problem ...
Ian Watson, Leonardo Oliveira
EWSPT
1998
Springer
14 years 2 months ago
On Project Management Scheduling where Human Resource is a Critical Variable
Most traditional approaches to process modelling do not provide an analysis of critical human resources and their impact(s) on project performance and output quality. However, the ...
Valentina Plekhanova
FASE
1998
Springer
14 years 2 months ago
Compositional Verification of Reactive Systems Specified by Graph Transformation
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
Reiko Heckel
FC
1998
Springer
83views Cryptology» more  FC 1998»
14 years 2 months ago
Distributed Trustees and Revocability: A Framework for Internet Payment
From von Solms and Naccache's standpoint, constructing a practical and secure e-money system implies a proper regulation of its privacy level. Furthermore, when the system ben...
David M'Raïhi, David Pointcheval