598 search results - page 3 / 120 » Generic Trace Theory |
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
The use of an alphabet of line segments to compose a curve is a possible approach for curve data compression. An existing state-of-the-art method considers a quadtree decompositio...
FOSSACS
2001
Springer
14 years 6 days ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ISCAS
1994
IEEE
13 years 11 months ago
1994
IEEE
AC
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
JSYML
2002
13 years 7 months ago
2002
We develop the theory of germs of generic functions in simple theories. Starting with an algebraic quadrangle (or other similar hypotheses), we obtain an "almost" generic...