933 search results - page 47 / 187 » A Fully Automatic hp-Adaptivity |
AMTA
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Parallel corpora are a valuable resource for machine translation, but at present their availability and utility is limited by genreand domain-speci city, licensing restri...
101
Voted
MICCAI
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
108
click to vote
SIGCOMM
1997
ACM
15 years 5 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...
114
click to vote
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
111
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...