Sciweavers

377 search results - page 31 / 76
» Getting to the Point...
Sort
View
POPL
2009
ACM
16 years 1 months ago
Verifying liveness for asynchronous programs
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
IACR
2011
113views more  IACR 2011»
14 years 6 days ago
Implementing 4-Dimensional GLV Method on GLS Elliptic Curves with j-Invariant 0
Abstract. The Gallant-Lambert-Vanstone (GLV) method is a very efcient technique for accelerating point multiplication on elliptic curves with eciently computable endomorphisms. G...
Zhi Hu, Patrick Longa, Maozhi Xu
105
Voted
ECCV
2002
Springer
16 years 2 months ago
Recognizing and Tracking Human Action
Human activity can be described as a sequence of 3D body postures. The traditional approach to recognition and 3D reconstruction of human activity has been to track motion in 3D, m...
Josephine Sullivan, Stefan Carlsson
102
Voted
ICIP
2003
IEEE
16 years 2 months ago
Fast indexing for image retrieval based on local appearance with re-ranking
This paper describes an approach to retrieve images containing specific objects, scenes or buildings. The image content is captured by a set of local features. More precisely, we ...
Hao Shao, Tomás Svoboda, Vittorio Ferrari, ...
101
Voted
VIS
2008
IEEE
161views Visualization» more  VIS 2008»
16 years 1 months ago
Brushing of Attribute Clouds for the Visualization of Multivariate Data
The visualization and exploration of multivariate data is still a challenging task. Methods either try to visualize all variables simultaneously at each position using glyph-based ...
Heike Jänicke, Michael Böttinger, Gerik Scheue...