Abstract. This paper presents a novel descriptor for human detection in video sequence. It is referred to as spatial-temporal granularity -tunable gradients partition (STGGP), whic...
Yazhou Liu, Shiguang Shan, Xilin Chen, Janne Heikk...
Abstract. GeoFEM has been developed as a finite element solid earth simulator using the Earth Simulator (ES) (35.61 Tflops/peak according to the Linpack benchmark test). It is comp...
Hiroshi Okuda, Kengo Nakajima, Mikio Iizuka, Li Ch...
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
Abstract—In 3DICs heat dissipating devices are stacked directly on top of each other leading to a higher heat density than in a comparable 2D chip. 3D integration also moves the ...
Samson Melamed, Thorlindur Thorolfsson, Adi Sriniv...