Sciweavers

1974 search results - page 24 / 395
» Conditional Purchase Orders
Sort
View
ISIPTA
2003
IEEE
14 years 2 months ago
On the Symbiosis of Two Concepts of Conditional Interval Probability
This paper argues in favor of the thesis that two different concepts of conditional interval probability are needed, in order to serve the huge variety of tasks conditional probab...
Kurt Weichselberger, Thomas Augustin
CDC
2008
IEEE
175views Control Systems» more  CDC 2008»
14 years 4 months ago
Transformation of optimal control problems with a state constraint avoiding interior boundary conditions
— A well–known problem in constrained optimal control is the presence of interior boundary conditions for constrained arcs which require a–priori knowledge of the optimal sol...
Knut Graichen, Nicolas Petit, Andreas Kugi
ISSTA
2006
ACM
14 years 3 months ago
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
Rahul Agarwal, Scott D. Stoller
FOSSACS
2008
Springer
13 years 11 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
AAAI
2006
13 years 11 months ago
Extending Dynamic Backtracking to Solve Weighted Conditional CSPs
Many planning and design problems can be characterized as optimal search over a constrained network of conditional choices with preferences. To draw upon the advanced methods of c...
Robert T. Effinger, Brian C. Williams