3971 search results - page 533 / 795 » On the Use of Properties in Java Applications |
171
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
166
click to vote
FLOPS
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
193
click to vote
SCALESPACE
2001
Springer
15 years 11 months ago
2001
Springer
We develop a novel time-selection strategy for iterative image restoration techniques: the stopping time is chosen so that the correlation of signal and noise in the filtered imag...
179
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper introduces a new classification scheme called “open-ended texture classification.” The standard approach for texture classification is to use a closed n-class cl...
185
click to vote
ISWC
2000
IEEE
15 years 11 months ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...