A Journey from Robot to Digital Human
by Edward Y.L. Gu
This book provides readers with a solid set of diversified and essential tools for the theoretical modeling and control of complex robotic systems, as well as for digital human modeling and realistic motion generation. Following a comprehensive introduction to the fundamentals of robotic kinematics, dynamics and control systems design, the author extends robotic modeling procedures and motion algorithms to ...
Price: $79.42 | Publisher: Springer | Release: 2013
by Sheryl Brahnam, Lakhmi C. Jain, Loris Nanni, Alessandra Lumini
This book introduces Local Binary Patterns (LBP), arguably one of the most powerful texture descriptors, and LBP variants. This volume provides the latest reviews of the literature and a presentation of some of the best LBP variants by researchers at the forefront of textual analysis research and research on LBP descriptors and variants. The value of LBP variants is illustrated with reported experiments usi...
Price: $83.80 | Publisher: Springer | Release: 2013
by Stefano Ceri, Alessandro Bozzon, Marco Brambilla, Emanuele Della Valle, Piero Fraternali, Silvia Quarteroni
With the proliferation of huge amounts of (heterogeneous) data on the Web, the importance of information retrieval (IR) has grown considerably over the last few years. Big players in the computer industry, such as Google, Microsoft and Yahoo!, are the primary contributors of technology for fast access to Web-based information; and searching capabilities are now integrated into most information systems, rang...
Price: $48.32 | Publisher: Springer | Release: 2013
Theories of Programming and Formal Methods
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from f...
Price: $65.14 | Publisher: Springer | Release: 2013
Unifying Theories of Programming and Formal Engineering Methods 
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems,...
Price: $59.64 | Publisher: Springer | Release: 2013
Agent-Oriented Software Engineering XIII
by Jorg P. Muller, Massimo Cossentino
This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012. This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. Th...
Price: $53.00 | Publisher: Springer | Release: 2013
Data Management in Cloud, Grid and P2P Systems
by Abdelkader Hameurlain, Wenny Rahayu, David Taniar
This book constitutes the refereed proceedings of the 6th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2013, held in Prague, Czech Republic, in August 2013 in conjunction with DEXA 2013. The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The papers are organized in the following topical sections: data partitioning and consist...
Price: $48.14 | Publisher: Springer | Release: 2013
Computer Security - ESORICS 2013
by Jason Crampton, Sushil Jajodia, Keith Mayes
This book constitutes the refereed proceedings of the 18th European Symposium on Computer Security, ESORICS 2013, held in Egham, UK, in September 2013.The 43 papers included in the book were carefully reviewed and selected from 242 papers. The aim of ESORICS is to further the progress of research in computer security by establishing a European forum for bringing together researchers in this area, by promoti...
Price: $82.77 | Publisher: Springer | Release: 2013
Transactions on Petri Nets and Other Models of Concurrency VIII
by Maciej Koutny Wil, Aalst Alex Yakovlev
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Pe...
Price: $67.41 | Publisher: Springer | Release: 2013
Advances in Security of Information and Communication Networks
by Ali Ismail Awad, Aboul Ella Hassanien, Kensuke Baba
This book constitutes the refereed proceedings of the International Conference on Advances in Security of Information and Communication Networks, SecNet 2013, held in Cairo, Egypt, in September 2013. The 21 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on networking security; data and information security; authentication ...
Price: $3.73 | Publisher: Springer | Release: 2013