2563 search results - page 133 / 513 » Phenomenology, Representations and Complexity |
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
MOZ
2004
Springer
15 years 3 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
CA
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a layered animation framework which uses displacement maps for efficient representation and animation of highly detailed surfaces. The model consists of three...
ACMIDC
2009
15 years 1 months ago
2009
In tangible learning environments the potential to exploit different physical-digital links increases representational power but also broadens the complexity of design. This paper...
AMDO
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. In this paper, we present a novel, fast, resolution-independent silhouette area-based matching approach. We approximate the silhouette area by a small set of axis-aligned...