Sciweavers

264 search results - page 35 / 53
» Decomposing Algebraic Varieties
Sort
View
MMMACNS
2005
Springer
14 years 2 months ago
Networks, Markov Lie Monoids, and Generalized Entropy
The continuous general linear group in n dimensions can be decomposed into two Lie groups: (1) an n(n-1) dimensional ‘Markov type’ Lie group that is defined by preserving the ...
Joseph E. Johnson
WWW
2004
ACM
14 years 9 months ago
A semantic approach for designing business protocols
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
Ashok U. Mallya, Munindar P. Singh
ICCAD
2004
IEEE
121views Hardware» more  ICCAD 2004»
14 years 5 months ago
Factoring and eliminating common subexpressions in polynomial expressions
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
Anup Hosangadi, Farzan Fallah, Ryan Kastner
ICPR
2008
IEEE
14 years 3 months ago
Multilinear analysis based on image texture for face recognition
In this paper, a multilinear approach based on image texture for face recognition is present. First, we extract the texture features of the facial images using the Local Binary Pa...
Hu-chuan Lu, Hao Chen, Yen-wei Chen
CALCO
2007
Springer
100views Mathematics» more  CALCO 2007»
14 years 2 months ago
Applications of Metric Coinduction
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
Dexter Kozen, Nicholas Ruozzi