نتایج جستجو برای: sepp
تعداد نتایج: 112 فیلتر نتایج به سال:
The paper presents a new structural model of parallel software deened as a graph consisting of interconnected sequential modules. This representation facilitates the testing process, because the number of cases to deal with during the test is much lower than with the use of traditional owgraph representations. We propose a systematic testing procedure based on this new model. Our procedure allo...
We construct a geometric lifting of the Burge correspondence as composition local birational maps on generic Young-diagram-shaped arrays. establish its fundamental relation to Robinson-Schensted-Knuth and Sch\"utzenberger involution. also show number properties correspondence, specializing them case symmetric input In particular, our construction shows that such mapping is volume preserving in ...
The paper describes a format for presenting proofs called structured calcula tional proof The format resembles calculational proof a style of reasoning popular among computer scientists but extended with structuring facilities A prototype tool has been developed which allows readers to interactively browse proofs presented in this format via the world wide web The ability to browse a proof incr...
Reecha Sofat, Juan P Casas, Andrew R Webster, Alan C Bird, Samantha S Mann, John RW Yates, Anthony T Moore, Tiina Sepp, Valentina Cipriani, Catey Bunce, Jane C Khan, Humma Shahid, Anand Swaroop, Gonçalo Abecasis, Kari E H Branham, Sepideh Zareparsi, Arthur A Bergen, Caroline CW Klaver, Dominique C Baas, Kang Zhang, Yuhong Chen, Daniel Gibbs, Bernhard H F Weber, Claudia N Keilhauer, Lars G Frits...
This paper describes the humanoid robot Toni that has been designed to play soccer in the RoboCup Humanoid League. The paper details Toni’s mechanical and electrical design, perception, self localization, behavior control, and infrastructure. Toni is fully autonomous, has a low weight (2.2kg), and is much taller (74cm) than most servo-driven humanoid robots. It has a wide field of view camera, ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید