10458 search results - page 1564 / 2092 » Modeling Features at Runtime |
137
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
128
click to vote
EMMCVPR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
155
click to vote
ACCV
2007
Springer
15 years 11 months ago
2007
Springer
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...
153
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
164
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...