Sciweavers

1242 search results - page 66 / 249
» Towards Context-Sensitive Intelligence
Sort
View
ATAL
2005
Springer
14 years 2 months ago
Towards a formal model for task allocation via coalition formation
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
Leila Amgoud
EVOW
2005
Springer
14 years 2 months ago
Toward User-Directed Evolution of Sound Synthesis Parameters
Abstract. Experiments are described which use genetic algorithms operating on the parameter settings of an FM synthesizer, with the aim of mimicking known synthesized sounds. The w...
James McDermott, Niall J. L. Griffith, Michael O'N...
MICAI
2005
Springer
14 years 2 months ago
Towards Formalising Agent Argumentation over the Viability of Human Organs for Transplantation
In this paper we describe a human organ selection process in which agents argue over whether a given donor’s organ is viable for transplantation. This process is framed in the CA...
Sanjay Modgil, Pancho Tolchinsky, Ulises Cort&eacu...
FAABS
2004
Springer
14 years 2 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
IBERAMIA
2004
Springer
14 years 2 months ago
Towards CNC Programming Using Haskell
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germ&a...