5544 search results - page 13 / 1109 » Three Inadequate Models |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper, we propose a novel shape representation we call Directional Histogram Model (DHM). It captures the shape variation of an object and is invariant to scaling and rigi...
PCM
2005
Springer
2005
Springer
Photometry Data Coding for Three-Dimensional Mesh Models Using Connectivity and Geometry Information
14 years 1 months ago
In this paper, we propose new predictive coding schemes for photometry data of three-dimensional (3-D) mesh models as per-vertex binding. We exploit geometry and connectivity infor...
ITA
2007
13 years 7 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
IUI
1997
ACM
13 years 11 months ago
1997
ACM
Historically, efforts at user modelling in educational systems have tended to employ knowledge representations in which symbolic (or "linguistic") cognition is emphasize...