1199 search results - page 120 / 240 » Parameterized Proof Complexity |
3DIM
2003
IEEE
14 years 3 months ago
2003
IEEE
Highly realistic virtual human models are rapidly becoming commonplace in computer graphics. These models, often represented by complex shape and requiring labor-intensive process...
ERSHOV
2003
Springer
14 years 3 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
ICDT
2003
ACM
14 years 3 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
ASAP
1996
IEEE
14 years 2 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper introduces a technique for the numerical generation of basis functions that are capable of parameterizing the frequency-variant nature of cross-sectional conductor curre...