Sciweavers

5084 search results - page 282 / 1017
» Proving Possibility Properties
Sort
View
153
Voted
BMCBI
2007
83views more  BMCBI 2007»
15 years 6 months ago
Identification of sequence motifs significantly associated with antisense activity
Background: Predicting the suppression activity of antisense oligonucleotide sequences is the main goal of the rational design of nucleic acids. To create an effective predictive ...
Kyle A. McQuisten, Andrew S. Peek
CDC
2009
IEEE
15 years 11 months ago
Ordinal optimization based security dispatching in deregulated power systems
— Due to the uncertainty in the forecasting of load patterns, security dispatching finds the generation pattern, which is the most economic and passes all N − 1 contingencies ...
Qing-Shan Jia, Min Xie, Felix F. Wu
ICECCS
1999
IEEE
83views Hardware» more  ICECCS 1999»
15 years 11 months ago
A Framework for Analyzing Configurations of Deployable Software Systems
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
Dennis Heimbigner, Richard S. Hall, Alexander L. W...
ECAI
2006
Springer
15 years 10 months ago
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
Cédric Pralet, Gérard Verfaillie, Th...
JAPLL
2008
121views more  JAPLL 2008»
15 years 6 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli