1090 search results - page 52 / 218 » Resource-Bounded Partial Evaluation |
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
Image registration algorithms provide a displacement field between two images. We consider the problem of estimating accuracy of the calculated displacement field from the input i...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
—Communication between cars can be exploited for various applications. Security enhancements as well as interactive games played by occupants of different cars are only two examp...
191
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
ICSM
2007
IEEE
15 years 4 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
COLING
2010
14 years 4 months ago
2010
We generalize the task of finding question paraphrases in a question repository to a novel formulation in which known questions are ranked based on their utility to a new, referen...