Sciweavers

20441 search results - page 123 / 4089
» Locally Computable Structures
Sort
View
ICFP
2005
ACM
14 years 10 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
IJHPCA
2010
84views more  IJHPCA 2010»
13 years 8 months ago
Operation Stacking for Ensemble Computations With Variable Convergence
Sparse matrix operations achieve only small fractions of peak CPU speeds because of the use of specialized, indexbased matrix representations, which degrade cache utilization by i...
Mehmet Belgin, Godmar Back, Calvin J. Ribbens
ICCV
2007
IEEE
15 years 3 days ago
Graph Based Discriminative Learning for Robust and Efficient Object Tracking
Object tracking is viewed as a two-class 'one-versusrest' classification problem, in which the sample distribution of the target is approximately Gaussian while the back...
Xiaoqin Zhang, Weiming Hu, Stephen J. Maybank, Xi ...
ICPR
2006
IEEE
14 years 11 months ago
Part-Based Multi-Frame Registration for Estimation of the Growth Of Cellular Networks in Plant Roots
Motion estimation from confocal scanning laser microscope images of growing plant cell structures presents interesting challenges; motion exhibits multiple local discontinuities a...
Timothy J. Roberts, Stephen J. McKenna, J. Hans, T...
CVPR
2010
IEEE
13 years 10 months ago
Delineating trees in noisy 2D images and 3D image-stacks
We present a novel approach to fully automated delineation of tree structures in noisy 2D images and 3D image stacks. Unlike earlier methods that rely mostly on local evidence, ou...
Germán González, Engin Türetken...