175 search results - page 20 / 35 » The Complexity of Model Checking Higher-Order Fixpoint Logic |
LPAR
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
121
Voted
CVPR
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
156
click to vote
DLT
2009
14 years 11 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
218
click to vote
ECCB
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
149
click to vote
SEBD
2001
15 years 3 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...