7326 search results - page 102 / 1466 » Methods for modalities 3 |
104
Voted
SOFSEM
2005
Springer
15 years 9 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
127
Voted
CADE
1997
Springer
15 years 7 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
123
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes a method for reconstructing non-rigid 3D shapes from noisy 2D shapes. The proposed method estimates the 3D shape bases and projection matrices, exploiting low-r...
141
Voted
ICCAD
1993
IEEE
15 years 7 months ago
1993
IEEE
For submicron integrated circuits, 3D numerical techniques are required to accurately compute the values of the interconnect capacitances. In this paper, we describe an hierarchic...
136
Voted
3DIM
2001
IEEE
15 years 7 months ago
2001
IEEE
In this paper we propose a robust method for recognition and pose determination of 3-D objects using range images in the eigenspace approach. Instead of computing the coefficients...