3179 search results - page 13 / 636 » Applications of PCF Theory |
75
Voted
COLING
1996
15 years 1 months ago
1996
This paper describes results achieved in a project which addresses the issue of how the gap between uni cation-based grammars as a scienti c concept and real world applications ca...
ISSAC
1998
Springer
15 years 4 months ago
1998
Springer
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
EUSFLAT
2001
15 years 1 months ago
2001
An original method for service life assessment of building products is proposed. In addition to a rigorous analysis and system modelling, "Evidence Theory" is adapted an...
80
Voted
ICPR
2006
IEEE
15 years 6 months ago
2006
IEEE
Different features carry more or less rich and varied pieces of information to characterize a pattern. The fusion of these different sources of information can provide an opportun...