4057 search results - page 591 / 812 » Linear combination of transformations |
MSR
2010
ACM
14 years 1 months ago
2010
ACM
—Build systems are responsible for transforming static source code artifacts into executable software. While build systems play such a crucial role in software development and ma...
CA
2002
IEEE
14 years 1 months ago
2002
IEEE
In augmented reality applications, tracking and registration of both cameras and objects is required because, to combine real and rendered scenes, we must project synthetic models...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
GLVLSI
2002
IEEE
14 years 1 months ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...