473 search results - page 49 / 95 » Computing excluded minors |
94
Voted
ACL
2010
14 years 10 months ago
2010
We propose a translation recommendation framework to integrate Statistical Machine Translation (SMT) output with Translation Memory (TM) systems. The framework recommends SMT outp...
120
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
101
click to vote
CGO
2007
IEEE
15 years 6 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
91
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...