9626 search results - page 94 / 1926 » Invariant Based Programming |
183
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
Isometric surfaces share the same geometric structure also known as the `first fundamental form'. For example, all possible bending of a given surface, that include all lengt...
143
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
Central catadioptric cameras are imaging devices that use mirrors to enhance the field of view while preserving a single effective viewpoint. In this paper, we propose a novel met...
139
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
147
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
— In-place learning is a biologically inspired concept, meaning that the computational network is responsible for its own learning. With in-place learning, there is no need for a...
156
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...