1090 search results - page 140 / 218 » The Equivalence between Biology and Computation |
124
click to vote
GMP
2008
IEEE
15 years 7 months ago
2008
IEEE
The directional contact range of two convex polyhedra is the range of positions that one of the polyhedron may locate along a given straight line so that the two polyhedra are in c...
125
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
ICCV
2005
IEEE
15 years 6 months ago
2005
IEEE
The representation and modelling of regions is an important topic in computer vision. In this paper, we represent a region via a level set of a ‘phase field’ function. The fu...
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
111
click to vote
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
The formulation of trace quotient is shared by many computer vision problems; however, it was conventionally approximated by an essentially different formulation of quotient trace,...