Sciweavers

1646 search results - page 160 / 330
» Inlining of Virtual Methods
Sort
View
ACCV
1998
Springer
15 years 6 months ago
Shape Modeling from Multiple View Images Using GAs
Shape modeling is a very important issue for many study, for example, object recognition for robot vision, virtual environment construction, and so on. In this paper, a new method...
Satoshi Kirihara, Hideo Saito
SC
1994
ACM
15 years 6 months ago
Adaptive load migration systems for PVM
Adaptive load distribution is necessary for parallel applications to co-exist e ectively with other jobs in a network of shared, heterogeneous workstations. We present three metho...
Jeremy Casas, Ravi B. Konuru, Steve W. Otto, Rober...
CAV
2010
Springer
157views Hardware» more  CAV 2010»
15 years 5 months ago
Local Verification of Global Invariants in Concurrent Programs
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
Ernie Cohen, Michal Moskal, Wolfram Schulte, Steph...
FLAIRS
2007
15 years 4 months ago
Inference of Edge Replacement Graph Grammars
We describe an algorithm and experiments for inference of edge replacement graph grammars. This method generates candidate recursive graph grammar productions based on isomorphic ...
Jacek P. Kukluk, Lawrence B. Holder, Diane J. Cook
CGVR
2006
15 years 3 months ago
Calibration-free Line-based Tracking for Video Augmentation
This paper presents a calibration-free line-based tracking method to augment virtual objects into a video sequence. The presented method uses a cube on the first image to calibrat...
Bolan Jiang