3819 search results - page 162 / 764 » Simple Easy Terms |
152
click to vote
SIAMSC
2010
15 years 5 months ago
2010
This paper constructs extrapolated implicit-explicit time stepping methods that allow one to efficiently solve problems with both stiff and nonstiff components. The proposed meth...
205
click to vote
CIVR
2010
Springer
15 years 5 months ago
2010
Springer
We propose a set of sketch-based interaction techniques for efficient retrieval of multimedia related to locations. The user makes a simple sketch on a map to interact with it, in...
207
Voted
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
Multimodal interaction is becoming common in many kinds of devices, particularly mobile phones. If care is not taken in design and implementation, there may be latencies in the ti...
215
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
173
Voted
CISC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. ESSENCE is a family of cryptographic hash functions, accepted to the first round of NIST's SHA-3 competition. This paper presents the first known attacks on ESSENCE....