6014 search results - page 63 / 1203 » Parametric Analysis of Computer Systems |
116
click to vote
DOCENG
2004
ACM
15 years 7 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
85
Voted
DAC
2001
ACM
16 years 3 months ago
2001
ACM
111
Voted
DLT
2008
15 years 3 months ago
2008
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
126
click to vote
SMI
2005
IEEE
15 years 8 months ago
2005
IEEE
Recent research on point-based surface representations suggests that point sets may be a viable alternative to parametric surface representations in applications where the topolog...
109
click to vote
CAINE
2003
15 years 3 months ago
2003
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...