884 search results - page 18 / 177 » Control structures in programs and computational complexity |
Book
"MPEG-4 Structured Audio (MP4-SA) is an ISO/IEC standard (edited by Eric Scheirer) that specifies sound not as audio data, but as a computer program that generates audio when ...
ITICSE
1999
ACM
13 years 12 months ago
1999
ACM
Computer animation is an excellent medium for capturing the dynamic nature of data structure manipulations, and can be used to advantage in the teaching of algorithms and data str...
CNL
2009
13 years 8 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
We describe semidefinite programming methods for system realization and identification. For each of these two applications, a variant of a simple subspace algorithm is presented, i...
CGI
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a new method of combining dynamic control of LOD and conservative occlusion culling based on a new hierarchical data structure of polygons. Our method is effec...