6045 search results - page 25 / 1209 » Computable Linearizations of Well-partial-orderings |
CSB
2003
IEEE
14 years 1 months ago
2003
IEEE
Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Recently, some linear approaches to camera calibration from sphere images are proposed. In this paper, a novel linear approach is proposed by exploiting the identity constraint on...
MFCS
2001
Springer
14 years 5 days ago
2001
Springer
We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these w...
TCS
2011
13 years 2 months ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
