2786 search results - page 233 / 558 » A Practical Technique for Process Abstraction |
158
click to vote
APN
2005
Springer
16 years 2 days ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
157
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
181
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
178
click to vote
AIPS
2008
15 years 8 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
163
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...