3167 search results - page 400 / 634 » Algorithmic Representation of Visual Information |
ICSE
1995
IEEE-ACM
15 years 5 months ago
1995
IEEE-ACM
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...
108
click to vote
ISCIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
Finding multiple occurrences of themes and patterns in music can be hampered due to polyphonic textures. This is caused by the complexity of music that weaves multiple independent...
113
click to vote
FTCS
1998
15 years 3 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
106
click to vote
GRAPHICSINTERFACE
2000
15 years 3 months ago
2000
In this paper we introduce a simple and efficient scheme for encodingthe connectivityand the stripification of a triangle mesh. Since generating a good set of triangle strips is a...