2000 search results - page 132 / 400 » Program Transformation and Proof Transformation |
93
Voted
PRL
2002
15 years 3 months ago
2002
We extend the velocity Hough transform (VHT) for tracking objects with arbitrary velocity by
120
click to vote
CLIMA
2007
15 years 5 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
ORL
2008
15 years 3 months ago
2008
We propose a novel solution approach for polynomial programming problems with equality constraints. By means of a generic transformation, we show that solution schemes for the (ty...
145
Voted
PLDI
1994
ACM
15 years 7 months ago
1994
ACM
As microprocessor speeds increase, memory bandwidth is increasing y the performance bottleneck for microprocessors. This has occurred because innovation and technological improvem...
158
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...