Sciweavers

6279 search results - page 183 / 1256
» Objects as session-typed processes
Sort
View
CCECE
2011
IEEE
14 years 6 months ago
An algorithm for object tracking based on adaptive triangle shape mesh estimation method
— Although "Adaptive Mesh" is regarded as complicating method for object tracking accompanied with many controversies and obstacles, but it has been proposed that such ...
Mahdi Koohi, Mahdi Narghi, Abbas Shakery
FM
2009
Springer
118views Formal Methods» more  FM 2009»
16 years 1 months ago
Abstract Object Creation in Dynamic Logic
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...
Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
ICRA
2006
IEEE
92views Robotics» more  ICRA 2006»
16 years 19 days ago
Object Transport by Modular Robots that Self-assemble
— We present a first attempt to accomplish a simple object manipulation task using the self-reconfigurable robotic system swarm-bot. The number of modular entities involved, th...
Roderich Groß, Elio Tuci, Marco Dorigo, Mich...
ICAT
2007
IEEE
15 years 8 months ago
Edge-Based Markerless 3D Tracking of Rigid Objects
In this paper we present a real-time 3D object tracking algorithm based on edges and using a single pre-calibrated camera. During the tracking process, the algorithm is continuous...
Javier Barandiarán, Diego Borro
ICIP
2007
IEEE
16 years 8 months ago
Geometric Calibration of Third-Generation Computed Tomography Scanners from Scans of Unknown Objects using Complementary Rays
To achieve good image quality for computed tomography scans, it is important to accurately know the geometrical relationship between the x-ray source, detector, and axis of rotati...
Kevin M. Holt