Sciweavers

2272 search results - page 408 / 455
» A Calculus for
Sort
View
WCE
2007
13 years 11 months ago
Performance Analysis of Job-Shop Production Systems under Different Order Release Control Parameters
—Controlling the flow of materials inside job-shops involves several decisions such as the acceptance or rejection of an incoming order, the order’s due date definition, the re...
Paulo S. A. Sousa, Maria R. A. Moreira
AAAI
2008
13 years 11 months ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
Yilan Gu, Mikhail Soutchanski
AIPS
2009
13 years 11 months ago
Computing Robust Plans in Continuous Domains
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
Christian Fritz, Sheila A. McIlraith
APCCM
2009
13 years 11 months ago
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
Andreas Schäfer, Mathias John
ATAL
2010
Springer
13 years 11 months ago
Agreeing on plans through iterated disputes
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...