5246 search results - page 657 / 1050 » Sanitization models and their limitations |
164
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
189
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
194
click to vote
TAMC
2007
Springer
16 years 1 months ago
2007
Springer
We consider the following problem in a stream model: Given a sequence a = a1, a2, . . . , am wich each ai ∈ [n] = {1, . . . , n} and m > n, find a duplicate in the sequence, ...
165
click to vote
AICT
2006
IEEE
16 years 28 days ago
2006
IEEE
Computer aided tests replace traditional written answers on paper sheets with electronic records. For subjective tests, computers are not able to do all grading jobs, due to limit...
178
click to vote
ANSS
2006
IEEE
16 years 28 days ago
2006
IEEE
— Computer simulations of complex systems such as physical aggregation processes or swarming and collective behaviour of life-forms, often require order N-squared computational c...