15416 search results - page 345 / 3084 » Embeddings of Computable Structures |
186
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...
226
Voted
ECBS
2010
IEEE
16 years 2 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
189
Voted
MICCAI
2004
Springer
16 years 26 days 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...
195
click to vote
CSREAESA
2007
15 years 9 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...
208
Voted
CORR
2008
Springer
15 years 7 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...