2853 search results - page 141 / 571 » On Coherence in Computer Algebra |
137
click to vote
3DPH
2009
15 years 2 months ago
2009
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
156
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We present an algebraic solution to both direct and featurebased registration of diffusion tensor images under various local deformation models. In the direct case, we sh...
141
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
A system of algebraic equations over a finite field is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an unde...
131
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
152
click to vote
AB
2008
Springer
15 years 10 months ago
2008
Springer
In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gr¨obner bases, discrim...