3984 search results - page 629 / 797 » A Model-Driven Transformation Method |
161
click to vote
ISBI
2011
IEEE
14 years 8 months ago
2011
IEEE
Caenorhabditis elegans is an important model organism for the study of molecular mechanisms of development and disease processes, due to its well-known genome and invariant cell l...
168
click to vote
CSR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Many theorems about Kolmogorov complexity rely on existence of combinatorial objects with specific properties. Usually the probabilistic method gives such objects with b...
220
click to vote
RTA
2011
Springer
14 years 7 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
136
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Online learning has shown to be successful in tracking of previously unknown objects. However, most approaches are limited to a bounding-box representation with fixed aspect rati...
236
click to vote
CVPR
2009
IEEE
16 years 12 months ago
2009
IEEE
Radiometric variations between input images can seriously
degrade the performance of stereo matching algorithms.
In this situation, mutual information is a very popular
and powe...