Sciweavers

100 search results - page 3 / 20
» The Callpaper Concept: Turning Paper into Computer Terminals
Sort
View
IJCV
2006
206views more  IJCV 2006»
13 years 7 months ago
Highly Accurate Optic Flow Computation with Theoretically Justified Warping
In this paper, we suggest a variational model for optic flow computation based on non-linearised and higher order constancy assumptions. Besides the common grey value constancy ass...
Nils Papenberg, Andrés Bruhn, Thomas Brox, ...
SOFSEM
2007
Springer
14 years 1 months ago
Constraints for Argument Filterings
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
Harald Zankl, Nao Hirokawa, Aart Middeldorp
FGCS
2010
126views more  FGCS 2010»
13 years 6 months ago
Perspectives on grid computing
Grid computing has been the subject of many large national and international IT projects in the past. However, it seems that the general expectations in Grids have not come true. ...
Uwe Schwiegelshohn, Rosa M. Badia, Marian Bubak, M...
SAC
2010
ACM
13 years 9 months ago
Energy-efficient scheduling on homogeneous multiprocessor platforms
Low-power and energy-efficient system implementations have become very important design issues to extend operation duration or cut power bills. To balance the energy consumption r...
Jian-Jia Chen, Lothar Thiele
JUCS
2008
180views more  JUCS 2008»
13 years 7 months ago
A Novel Multi-Layer Level Set Method for Image Segmentation
: In this paper, a new multi-layer level set method is proposed for multi-phase image segmentation. The proposed method is based on the conception of image layer and improved numer...
Xiaofeng Wang, De-Shuang Huang