Sciweavers

536 search results - page 34 / 108
» Software-Managed Address Translation
Sort
View
ICPR
2006
IEEE
16 years 3 months ago
Bin-Picking based on Harmonic Shape Contexts and Graph-Based Matching
In this work we address the general bin-picking problem where 3D data is available. We apply Harmonic Shape Contexts (HSC) features since these are invariant to translation, scale...
Jakob Kirkegaard, Thomas B. Moeslund
SPAA
1993
ACM
15 years 6 months ago
Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism
This paper concerns the problem of how to exploit parallelism during the phases of compilation involving syntaxdirected analysis and translation. In particular, we address the pro...
Thomas W. Reps
CSFW
2010
IEEE
15 years 5 months ago
On Protection by Layout Randomization
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
Martín Abadi, Gordon D. Plotkin
APN
2001
Springer
15 years 5 months ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen
ACL
2006
15 years 3 months ago
Correcting ESL Errors Using Phrasal SMT Techniques
This paper presents a pilot study of the use of phrasal Statistical Machine Translation (SMT) techniques to identify and correct writing errors made by learners of English as a Se...
Chris Brockett, William B. Dolan, Michael Gamon