537 search results - page 44 / 108 » A Call to Regularity |
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Computations on tensors have become common with the use of DT-MRI. But the classical Euclidean framework has many defects, and affine-invariant Riemannian metrics have been propose...
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
WIAMIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Traditional shape from silhouette methods compute the 3D shape as the intersection of the back-projected silhouettes in the 3D space, the so called visual hull. However, silhouett...
BIBE
2008
IEEE
14 years 2 months ago
2008
IEEE
: If we consider the regulatory networks used in systems biology (especially in neural and genetic networks), we observe certain regularities in their architecture, namely the occu...