5900 search results - page 117 / 1180 » Dependable Systems |
108
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Significant time is spent by companies trying to reproduce and fix bugs. BugNet and FDR are recent architecture proposals that provide architecture support for deterministic rep...
106
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
User interfaces form a critical coupling between humans and computers. When the interface fails, the user fails, and the mission is lost. For example, in computer security applica...
124
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
113
Voted
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
The result of a scene manipulation is usually displayed by rerendering the entire image even if the change has affected only a small portion of it. This paper presents a system th...
132
click to vote
LREC
2008
15 years 4 months ago
2008
We present new direct data analysis showing that dynamically-built context-dependent phrasal translation lexicons are more useful resources for phrase-based statistical machine tr...