2292 search results - page 166 / 459 » Structure preserving embedding |
173
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...
129
click to vote
MICCAI
2004
Springer
15 years 9 months ago
2004
Springer
The levator ani is vulnerable to injury during childbirth and effective surgical intervention requires full knowledge of the morphology and mechanical properties of the muscle stru...
135
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
129
click to vote
CSREAESA
2007
15 years 5 months ago
2007
—Current industrial automation systems are virtually unprotected against attacks on IT security at field level, especially if an attacker is able to connect physically to field...
130
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Graph kernels methods are based on an implicit embedding of graphs within a vector space of large dimension. This implicit embedding allows to apply to graphs methods which where u...