You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005. The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.
Due to the continuing progress of sensor technology, the availability of 3-D cameras is already foreseeable. These cameras are capable of generating a large set of measurement points within a very short time. There are a variety of 3-D camera applications in the fields of robotics, rapid product development and digital factories. In order to not only visualize the point cloud but also to recognize 3-D object models from the point cloud and then further process them in CAD systems, efficient and stable algorithms for 3-D information processing are required. For the automatic segmentation and recognition of such geometric primitives as plane, sphere, cylinder, cone and torus in a 3-D point cloud, efficient software has recently been developed at the Fraunhofer IPA by Sung Joon Ahn. This book describes in detail the complete set of ‘best-?t’ algorithms for general curves and surfaces in space which are employed in the Fraunhofer software.
None
None
This reference work provides a comprehensive insight into past developments in the application of non-linear dynamics, such as production systems in the manufacturing and process engineering, mechanical engineering and plant construction and automation technology. As such, it is the first publication to document the successful implementation of non-linear dynamics into current tasks or problems of engineering thus far unsolved. The interdisciplinary team of contributors from research and industry establishes ties between mechanical methods of manufacturing and new methods reaching the dynamics of production lines and complete production systems.
This book constitutes the refereed proceedings of the 25th Symposium of the German Association for Pattern Recognition, DAGM 2003, held in Magdeburg, Germany in September 2003. The 74 revised papers presented were carefully reviewed and selected from more than 140 submissions. The papers address all current issues in pattern recognition and are organized in sections on image analyses, callibration and 3D shape, recognition, motion, biomedical applications, and applications.
None
None
Agricultural production in the semi-arid western United States is dependent on irrigation. Population in the seventeen western states has been and is expected to continue increasing. Groundwater levels are declining throughout the region with long-term pumping and increased demands leading to greater pumping lifts and costs, land subsidence, and salt water intrusion into groundwater basins. Construction and operation costs of future water development in these states will be great, both in dollars and in economic and social effects. Competition for the available water supply due to increased demands in both agricultural and non-agricultural sectors continues to increase. Although considerable...