Sciweavers

216 search results - page 17 / 44
» Modeling and Automated Containment of Worms
Sort
View
STTT
2002
69views more  STTT 2002»
13 years 7 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
DICTA
2007
13 years 9 months ago
Interactive 3D Model Completion
A common problem when using automated structure from motion techniques is that the object to be modelled can only be partially reconstructed from the video. This can occur because...
Anton van den Hengel, Anthony R. Dick, Thorsten Th...
WSC
2007
13 years 10 months ago
Reusable tool for 300mm intrabay AMHS modeling and simulation
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
Ahmed El-Nashar, Khaled S. El-Kilany
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
14 years 1 months ago
Conflict-free routing of AGVs on the mesh topology based on a discrete-time model
: Automated Guided Vehicles (or AGVs for short) have become an important option in material handling. In many applications, such as container terminals, the service area is often a...
Jianyang Zeng, Wen-Jing Hsu
IADIS
2003
13 years 9 months ago
Hypertext Classification: A Multiagent Model for Adaptive Learning Algorithm
The problem of hypertext classification deals with objects possessing more complex information structure than the plain text has. Present hypertext classification systems show the...
Stanislav Baglei