9209 search results - page 351 / 1842 » Data Space Randomization |
183
click to vote
VMCAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
154
click to vote
ICPP
2003
IEEE
16 years 15 hour ago
2003
IEEE
We present a tensor product formulation for Hilbert space-filling curves. Both recursive and iterative formulas are expressed in the paper. We view a Hilbert space-filling curve...
151
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present a technique for learning clothing models that enables the simultaneous animation of thousands of detailed garments in real-time. This surprisingly simple conditional mo...
198
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
163
click to vote
ICVGIP
2008
15 years 8 months ago
2008
This paper proposes efficient and robust methods for tracking a moving object at multiple spatial and temporal resolution levels. The efficiency comes from optimising the amounts ...