3038 search results - page 227 / 608 » Controlling Engineering Problem Solving |
100
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
125
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
112
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
122
click to vote
CMMR
2008
Springer
15 years 4 months ago
2008
Springer
Realtime musical expression through synthesis is notoriously dicult. The complete potential of a sound engine is traditionally available only at design time. In this paper two mapp...
137
click to vote
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...