2853 search results - page 501 / 571 » On Coherence in Computer Algebra |
AIIDE
2008
13 years 11 months ago
2008
Culture and emotions have a profound impact on human behavior. Consequently, high-fidelity simulated interactive environments (e.g., trainers and computer games) that involve virt...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
DAS
2008
Springer
13 years 10 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
EPEW
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...