4047 search results - page 461 / 810 » Algebraic Model Checking |
182
Voted
ECCV
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. This paper presents viewpoint-dependent constraints that relate image features such as t-junctions and inflections to the pose of curved 3D objects. These constraints can...
212
Voted
ESOP
1992
Springer
15 years 10 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
176
click to vote
CASC
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
171
click to vote
FLAIRS
2007
15 years 9 months ago
2007
We investigate the use of a morphological neural network to improve the performance of information retrieval systems. A morphological neural network is a neural network based on l...
176
click to vote
ADBIS
2007
Springer
15 years 8 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...