2152 search results - page 289 / 431 » On Automating the Calculus of Relations |
DAC
2003
ACM
16 years 1 months ago
2003
ACM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...
104
click to vote
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
Diffeomorphic non-rigid registration of shapes is a very difficult problem. We use the point-set representation for shapes since statistical shape analysis in this space is relati...
191
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a qualitative approach to elaborating the biosynthetic capacities of metabolic networks. In fact, large-scale metabolic networks as well as measured datasets s...
101
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...
107
click to vote
CADE
2003
Springer
16 years 1 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...