814 search results - page 107 / 163 » Machine Translation by Case Generalization |
113
Voted
IWMM
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
138
click to vote
TCC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
149
click to vote
IUI
2003
ACM
15 years 8 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
139
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
154
click to vote
FOCS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...