1146 search results - page 130 / 230 » Applications of the TAMPR Transformation System |
145
click to vote
IJCAI
2007
15 years 6 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
134
click to vote
NAACL
1994
15 years 5 months ago
1994
This paper describes PEGASUS, a spoken language interface for on-line air travel planning that we have recently developed. PEGASUSleverages off our spoken language technology deve...
119
click to vote
ENTCS
2008
15 years 4 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
129
click to vote
TCSV
2008
15 years 4 months ago
2008
Abstract--This paper proposes a parallel hardware architecture for image feature detection based on the SIFT (Scale Invariant Feature Transform) algorithm and applied to the SLAM (...
144
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...