3273 search results - page 66 / 655 » types 2007 |
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a novel algorithm for segmenting multiple motions of different types from point correspondences in multiple affine or perspective views. Since point trajectories associ...
104
click to vote
GRID
2007
Springer
14 years 11 months ago
2007
Springer
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
LOPSTR
2007
Springer
15 years 6 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
125
click to vote
BMCBI
2005
14 years 11 months ago
2005
There is an enormous amount of information encoded in each genome
102
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...