Sciweavers

1996 search results - page 119 / 400
» Financial Theory 2
Sort
View
160
Voted
GECCO
2005
Springer
107views Optimization» more  GECCO 2005»
15 years 10 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
15 years 10 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»
15 years 9 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
15 years 9 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»
15 years 9 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-...