Sciweavers

1977 search results - page 165 / 396
» Representing Views in XML
Sort
View
EMMCVPR
2001
Springer
15 years 11 months ago
Averaged Template Matching Equations
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
Anil N. Hirani, Jerrold E. Marsden, James Arvo
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 10 months ago
Integrating Formal Description Techniques
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
Bernhard Schätz, Franz Huber
VISUALIZATION
1998
IEEE
15 years 10 months ago
Supporting detail-in-context for the DNA representation, H-curves
This paper presents a tool for the visual exploration of DNA sequences represented as H-curves [7]. Although very long sequences can be plotted using H-curves, micro-features are ...
M. L. Lantin, M. Sheelagh T. Carpendale
IFIP
1993
Springer
15 years 10 months ago
Architecture of Integrated Information Systems (ARIS)
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
August-Wilhelm Scheer
LCPC
1991
Springer
15 years 10 months ago
An Executable Representation of Distance and Direction
The dependence ow graph is a novel intermediate representation for optimizingand parallelizing compilersthat can be viewed as an executable representation of program dependences. ...
Richard Johnson, Wei Li, Keshav Pingali