Sciweavers

1224 search results - page 88 / 245
» Theory decision by decomposition
Sort
View
100
Voted
EMSOFT
2008
Springer
15 years 2 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
91
Voted
ECSQARU
2007
Springer
15 years 6 months ago
On Latent Belief Structures
Based on the canonical decomposition of belief functions, Smets introduced the concept of a latent belief structure (LBS). This concept is revisited in this article. The study of t...
Frédéric Pichon, Thierry Denoeux
GECCO
2006
Springer
158views Optimization» more  GECCO 2006»
15 years 4 months ago
The effects of interaction frequency on the optimization performance of cooperative coevolution
Cooperative coevolution is often used to solve difficult optimization problems by means of problem decomposition. Its performance on this task is influenced by many design decisio...
Elena Popovici, Kenneth A. De Jong
JUCS
2010
143views more  JUCS 2010»
14 years 11 months ago
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
Václav Dvorák, Petr Mikusek
83
Voted
HICSS
2007
IEEE
98views Biometrics» more  HICSS 2007»
15 years 7 months ago
An Outcome-Based Learning Model to Identify Emerging Threats: Experimental and Simulation Results
The authors present experimental and simulation results of an outcome-based learning model as it applies to the identification of emerging threats. This model integrates judgment,...
Ignacio J. Martinez-Moyano, Stephen H. Conrad, Dav...