816 search results - page 51 / 164 » Abstract Barycentric Algebras |
ETRICS
2006
13 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
ECCV
2006
Springer
14 years 9 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...
RTA
2009
Springer
14 years 2 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...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...
AB
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. Symbolic methods for investigating Hopf bifurcation problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. Howev...