Sciweavers

1996 search results - page 119 / 400
» Financial Theory 2
Sort
View
GECCO
2005
Springer
107views Optimization» more  GECCO 2005»
14 years 3 months ago
Minimum spanning trees made easier via multi-objective optimization
Many real-world problems are multi-objective optimization problems and evolutionary algorithms are quite successful on such problems. Since the task is to compute or approximate t...
Frank Neumann, Ingo Wegener
ATAL
2005
Springer
14 years 3 months ago
On possibilistic case-based reasoning for selecting partners for multi-attribute agent negotiation
We propose an enhanced mechanism for selecting partners for multi-attribute negotiation. The mechanism employs possibilistic case-based reasoning. The possibility of successful ne...
Jakub Brzostowski, Ryszard Kowalczyk
HICSS
2003
IEEE
95views Biometrics» more  HICSS 2003»
14 years 3 months ago
An Interactive Software-Agent Smoking Cessation Program
Health communication researchers have shown that tailored health communication messages outperform nontailored materials. Non-tailored materials are typically “one-size-fits-all...
Todd Shimoda
IPPS
2002
IEEE
14 years 3 months ago
Program Composition in Isabelle/UNITY
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
Sidi O. Ehmety, Lawrence C. Paulson
DATE
2000
IEEE
83views Hardware» more  DATE 2000»
14 years 2 months ago
Wave Steered FSMs
In this paper we address the problem of designing very high throughput finite state machines (FSMs). The presence of loops in sequential circuits prevents a straightforward and g...
Luca Macchiarulo, Shih-Ming Shu, Malgorzata Marek-...