2089 search results - page 318 / 418 » Finding Environment Guarantees |
123
click to vote
IJCAI
1993
15 years 4 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
120
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...
117
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
117
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Detecting epistatic interactions associated with complex and common diseases can help to improve prevention, diagnosis and treatment of these diseases. With the develo...
123
click to vote
COR
2010
15 years 3 months ago
2010
In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of...