the paper starts with a brief review of programming of robots. Subsequently a detailed definition of off-line programming requirements is given. the requirements fall into two major areas. the first one is that of pro...
详细信息
ISBN:
(纸本)0903608561
the paper starts with a brief review of programming of robots. Subsequently a detailed definition of off-line programming requirements is given. the requirements fall into two major areas. the first one is that of program logic and location data generation and verification off-line, and the second one is that of program execution and the use of sensors to correct for positioning errors on-line. the emphasis in the paper is on the execution aspect;wherein an approach is proposed to automatically compensate for positioning errors due to robot inaccuracy or object location variations. It is based mainly on the use of a non-contact opto-electronic sensor to determine the robot end-point location in space. Details of the system, the algorithm and the procedure used are given.
Pnueli [15] has recently introduced the idea of using temporal logic [18] as the logical basis for proving correctness properties of concurrent programs. this has permitted an elegant unifying formulation of previous ...
详细信息
the proceedings contain 51 papers. the special focus in this conference is on Mathematical Foundations of Computer Science. the topics include: Decision problems concerning parallel programming;attribute grammars and ...
ISBN:
(纸本)9783540089216
the proceedings contain 51 papers. the special focus in this conference is on Mathematical Foundations of Computer Science. the topics include: Decision problems concerning parallel programming;attribute grammars and two-level grammars: A unifying approach;extensions and implementations of abstract data type specifications;concurrency of manipulations in multidimensional information structures;deriving structures from structures;semantics of nondeterminism, concurrency and communication: Extended abstract, November 1977;contribution to the theory of concurrency in databases;facts in place/transition-nets;loop programs and classes of primitive recursive functions;the algebraic semantics of recursive program schemes;dynamic theories of real and complex numbers;multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication;some applications of algebraic semantics;goal-oriented derivation of logic programs;transforming recursion equations to algorithms;structural invariants for some classes of structured programs;synthesis of concurrent schemes;Fast matrix multiplication by boolean RAM in linear storage;cycles of partial orders;complexity measures defined by mazurkiewicz-algorithms;finding the correctness proof of a concurrent program;on functional grammars;analysis of a universal class of hash functions;a framework for producing deterministic canonical bottom-up parsers;cooperating grammar systems;synchronized petri nets: A model for the description of non-autonomous sytems;on divergence and halting problems for monadic program schemas;compression of clustered inverted files;the completeness of propositional dynamic logic;improving memory utilization in transforming recursive programs: Extended abstract;on two subclasses of real-time grammars;an algebra for parallelism based on petri nets;on information storage and retrieval systems an algebraic approach, part 1.
this book constitutes the refereed proceedings of the 7thinternationalsymposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. the 20 revised full papers presented were...
详细信息
ISBN:
(数字)9783642042225
ISBN:
(纸本)9783642042218
this book constitutes the refereed proceedings of the 7thinternationalsymposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. the 20 revised full papers presented were carefully reviewed and selected. the papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
this book constitutes the proceedings of the 7thinternationalsymposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. the 23 regular papers and 3 took papers...
详细信息
ISBN:
(数字)9783642047619
ISBN:
(纸本)9783642047602
this book constitutes the proceedings of the 7thinternationalsymposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. the 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. the papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
this book constitutes the refereed proceedings of the 7thinternational Conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. the 19 revised full papers presente...
详细信息
ISBN:
(数字)9783319112459
ISBN:
(纸本)9783319112442
this book constitutes the refereed proceedings of the 7thinternational Conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. the 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. the papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data, structured data, object-oriented programming, functionalprogramming, logicprogramming, term-rewriting, attribute grammars, algebraic specification, etc.
this book constitutes the thoroughly refereed post-conference proceedings of the 7thinternational Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. the 10 revised full papers presented were carefu...
详细信息
ISBN:
(数字)9783642295171
ISBN:
(纸本)9783642295164
this book constitutes the thoroughly refereed post-conference proceedings of the 7thinternational Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. the 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. the papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies.
this book constitutes the proceedings of the 14thinternationalsymposium on functional and logicprogramming, FLOPS 2018, held in Nagoya, Japan, in May 2018.
ISBN:
(数字)9783319906867
ISBN:
(纸本)9783319906850
this book constitutes the proceedings of the 14thinternationalsymposium on functional and logicprogramming, FLOPS 2018, held in Nagoya, Japan, in May 2018.
暂无评论