2107 search results - page 384 / 422 » Computing Small Search Numbers in Linear Time |
GRAPHICSINTERFACE
2007
13 years 10 months ago
2007
Motion capture data is an effective way of synthesizing human motion for many interactive applications, including games and simulations. A compact, easy-to-decode representation i...
WSC
2000
13 years 10 months ago
2000
Web-based study resources can be viewed as a basic requirement in order to remain a competitive player on a more and more globalised educational market. For that reason it is gett...
ENTCS
2008
13 years 9 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
INFORMATICALT
2010
13 years 7 months ago
2010
This paper presents an improved differential evolution (IDE) method for the solution of large-scale unit commitment (UC) problems. The objective of the proposed scheme is to determ...
ASIACRYPT
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we combine a recent rotational cryptanalysis with the rebound attack, which results in the best cryptanalysis of Skein, a candidate for the SHA-3 competitio...