814 search results - page 136 / 163 » Machine Translation by Case Generalization |
134
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
161
click to vote
IANDC
2007
15 years 3 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
136
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Voronoi condensing reduces training patterns of nearest neighbor classifiers without changing the classification boundaries. This method plays important roles not only in the near...
120
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
120
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
A new imaging approach has been identified and studied in a preliminary way by simulation. The new approach is prompt gamma-ray imaging (PGI) and it is suggested for use on small ...