Sciweavers

4636 search results - page 623 / 928
» Modelling and Validation with VipTool
Sort
View
EKAW
2004
Springer
16 years 5 days ago
Knowledge Formulation for AI Planning
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
T. L. McCluskey, Ron M. Simpson
ESAW
2004
Springer
16 years 5 days ago
Virtual Enterprise Normative Framework Within Electronic Institutions
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
Henrique Lopes Cardoso, Eugénio C. Oliveira
FC
2004
Springer
120views Cryptology» more  FC 2004»
16 years 5 days ago
Identity-Based Chameleon Hash and Applications
Chameleon signatures are non-interactive signatures based on a hash-and-sign paradigm, and similar in efficiency to regular signatures. The distinguishing characteristic of chamel...
Giuseppe Ateniese, Breno de Medeiros
GECCO
2004
Springer
128views Optimization» more  GECCO 2004»
16 years 5 days ago
An Informed Operator Based Genetic Algorithm for Tuning the Reaction Rate Parameters of Chemical Kinetics Mechanisms
A reduced model technique based on a reduced number of numerical simulations at a subset of operating conditions for a perfectly stirred reactor is developed in order to increase t...
Lionel Elliott, Derek B. Ingham, Adrian G. Kyne, N...
ICARIS
2004
Springer
16 years 5 days ago
Online Negative Databases
The benefits of negative detection for obscuring information are explored in the context of Artificial Immune Systems (AIS). AIS based on string matching have the potential for a...
Fernando Esponda, Elena S. Ackley, Stephanie Forre...