8874 search results - page 244 / 1775 » A New Implementation of Automath |
142
click to vote
ACL
2012
13 years 7 months ago
2012
We present a new open source toolkit for phrase-based and syntax-based machine translation. The toolkit supports several state-of-the-art models developed in statistical machine t...
207
click to vote
TKDE
2012
13 years 7 months ago
2012
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
145
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
139
click to vote
SBACPAD
2008
IEEE
15 years 11 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
133
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Dealing with RTTs (Round Trip Time) in IQ switches has been recently recognized as a challenging problem, especially if considering distributed (multi-chip) scheduler implement...