969 search results - page 27 / 194 » Programming as Problem Solving: A Participatory Theater Appr... |
156
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
170
click to vote
CCO
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
176
click to vote
CPAIOR
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. The multileaf collimator sequencing problem is an important component in effective cancer treatment delivery. The problem can be formulated as finding a decomposition of...
184
click to vote
COLOGNETWENTE
2010
15 years 2 months ago
2010
Given a bipartite graph G = (S, T, E), we consider the problem of finding k bipartite subgraphs, called "clusters", such that each vertex i of S appears in exactly one o...
158
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications. Traditional VR systems support the visual explo...