1264 search results - page 107 / 253 » The framework approach for constraint satisfaction |
186
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
162
click to vote
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper describes the findings of a case study that explores the micro level factors surrounding the processes of creativity and process management in a creative organization. ...
153
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
218
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
168
click to vote
EMMCVPR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The goal of this paper is to present a novel recipe for deformable image registration under varying illumination, as a natural extension of the demons algorithm. This gen...