7393 search results - page 1161 / 1479 » Synthesis-for-testability using transformations |
170
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
135
click to vote
COLING
2010
14 years 11 months ago
2010
Temporal expressions in texts contain significant temporal information. Understanding temporal information is very useful in many NLP applications, such as information extraction,...
164
click to vote
PAMI
2011
14 years 11 months ago
2011
—In solving complex visual learning tasks, adopting multiple descriptors to more precisely characterize the data has been a feasible way for improving performance. The resulting ...
150
click to vote
TIT
2011
14 years 11 months ago
2011
Abstract. In 1998, Blaze, Bleumer, and Strauss proposed a cryptographic primitive called proxy re-encryption, in which a proxy transforms – without seeing the corresponding plain...
217
click to vote
UAIS
2011
14 years 11 months ago
2011
Over the last three decades, video games have evolved from a pastime into a force of change that is transforming the way people perceive, learn about, and interact with the world a...