1153 search results - page 153 / 231 » The Complexity of Revision, Revised |
156
click to vote
IDC
2009
Springer
16 years 11 days ago
2009
Springer
Scheduling meetings among agents can be represented as a game - the Meetings Scheduling Game (MSG). In its simplest form, the two-person MSG is shown to have a price of anarchy (Po...
172
click to vote
NORDSEC
2009
Springer
16 years 11 days ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
159
click to vote
SUM
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. Logic-based argumentation offers an approach to querying and revising multiple ontologies that are inconsistent or incoherent. A common assumption for logic-based argumen...
127
click to vote
MOBICOM
2009
ACM
16 years 10 days ago
2009
ACM
Modern wireless interfaces support a physical layer capability called Message in Message (MIM). Briefly, MIM allows a receiver to disengage from an ongoing reception, and engage ...
132
click to vote
SIGIR
2009
ACM
16 years 10 days ago
2009
ACM
Retrieval with Logical Imaging is derived from belief revision and provides a novel mechanism for estimating the relevance of a document through logical implication (i.e. P(q → ...