Sciweavers

4224 search results - page 402 / 845
» Reasoning about Choice
Sort
View
EEE
2005
IEEE
16 years 1 months ago
A Pattern Language for Decentralized Coordination and Negotiation Protocols
Currently negotiation covers a huge and unstructured domain of negotiation- and coordination protocols and associated strategies. Researchers and practitioners like system enginee...
Adrian Paschke, Christine Kiss, Samer Al-Hunaty
SAC
2005
ACM
16 years 1 months ago
A code compression advisory tool for embedded processors
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
Sreejith K. Menon, Priti Shankar
FASE
2005
Springer
16 years 1 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
GECCO
2005
Springer
162views Optimization» more  GECCO 2005»
16 years 1 months ago
An autonomous explore/exploit strategy
In reinforcement learning problems it has been considered that neither exploitation nor exploration can be pursued exclusively without failing at the task. The optimal balance bet...
Alex McMahon, Dan Scott, William N. L. Browne
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
16 years 1 months ago
Systems Biology Modeling in Human Genetics Using Petri Nets and Grammatical Evolution
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
Jason H. Moore, Lance W. Hahn