423 search results - page 32 / 85 » On Term Rewriting Systems Having a Rational Derivation |
111
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
125
Voted
ASPDAC
2012
ACM
13 years 8 months ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
100
click to vote
CCR
2007
15 years 23 days ago
2007
All-optical packet switching (AOPS) technology is essential to fully utilize the tremendous bandwidth provided by advanced optical communication techniques through forwarding pack...
119
Voted
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
105
Voted
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
We derive a new class of photometric invariants that can be used for a variety of vision tasks including lighting invariant material segmentation, change detection and tracking, a...