407 search results - page 14 / 82 » On sequential functionals of type 3 |
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper addresses the problem of reconstructing the 3D motion trajectories of particle swarms using two temporally synchronized and geometrically calibrated cameras. The 3D traj...
ICANN
2010
Springer
13 years 6 months ago
2010
Springer
The hippocampus is known to be involved in spatial learning in rats. Spatial learning involves the encoding and replay of temporally sequenced spatial information. Temporally seque...
COMPLIFE
2005
Springer
14 years 2 months ago
2005
Springer
A protein-protein interface (PPI) is defined by a pair of regions of two interacting protein molecules that are linked by non-covalent bonds. Recognition of conserved 3D patterns ...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
In this work, we consider the dense reconstruction of specular objects. We propose the use of a specularity constraint, based on surface normal/depth consistency, to define a matc...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...