2452 search results - page 395 / 491 » The Case for Precision Sharing |
156
Voted
AAAI
2007
15 years 8 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
133
click to vote
WSC
2007
15 years 8 months ago
2007
Warehouse or distribution centre managers have to decide how to collect the products to fulfill customers requests but also where to locate the products (SKUs) and how much space ...
144
click to vote
WSC
2008
15 years 8 months ago
2008
The Post-Anesthesia Care Unit (PACU) is a shared resource in the hospital where patients recover from surgery. It is fed by a set of Operating Rooms (OR's) often spanning sev...
190
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
175
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...