Sciweavers

806 search results - page 62 / 162
» Algebraic Structures of B-series
Sort
View
ICPR
2002
IEEE
14 years 19 days ago
Multilinear Image Analysis for Facial Recognition
Natural images are the composite consequence of multiple factors related to scene structure, illumination, and imaging. For facial images, the factors include different facial geo...
M. Alex O. Vasilescu, Demetri Terzopoulos
AMAST
1998
Springer
13 years 12 months ago
Architectural Specifications in CASL
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
CSL
2008
Springer
13 years 9 months ago
Characterization of Logics over Ranked Tree Languages
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
Thomas Place
CORR
2007
Springer
101views Education» more  CORR 2007»
13 years 7 months ago
A Matrix Ring Description for Cyclic Convolutional Codes
: In this paper, we study convolutional codes with a specific cyclic structure. By definition, these codes are left ideals in a certain skew polynomial ring. Using that the skew ...
Heide Gluesing-Luerssen, Fai-Lung Tsang
ORDER
2010
100views more  ORDER 2010»
13 years 6 months ago
Quantum Logic in Dagger Kernel Categories
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...
Chris Heunen, Bart Jacobs