2062 search results - page 287 / 413 » Derivatives of Logical Formulas |
264
click to vote
WILF
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a novel method aimed to free form deformation
function approximation for purpose of image registration. The
method is currently feature-based. The algorithm i...
151
click to vote
CAV
2007
Springer
16 years 5 days ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
151
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
171
click to vote
FUZZY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper studies some relationships between fuzzy relations, fuzzy graphs and fuzzy measure. It is shown that a fundamental theorem of Discrete Convex Analysis is deriv...
159
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...