1385 search results - page 264 / 277 » Natural Rewriting for General Term Rewriting Systems |
121
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
Moments before the launch of every space vehicle, engineering discipline specialists must make a critical go/no-go decision. The cost of a false positive, allowing a launch in spi...
92
Voted
CHI
2008
ACM
16 years 2 months ago
2008
ACM
We present DRAGON, a direct manipulation interaction technique for frame-accurate navigation in video scenes. This technique benefits tasks such as professional and amateur video ...
197
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
104
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
94
Voted
EUROGRAPHICS
2010
Eurographics
15 years 11 months ago
2010
Eurographics
We present a new intuitive UI, which we call cross-boundary brushes, for interactive mesh decomposition. The user roughly draws one or more strokes across a desired cut and our sy...